Зачем нужны объекты?

@Chak-Nuris · Регистрация: 17.03.2015

Студворк — интернет-сервис помощи студентам

@Fulcrum_013 · 23.04.2015, 20:47

Сообщение от korvin_

Я уже рассказал об этом TheFox'у, отвечая на его сообщение о состоянии, перед тем как пример опубликовать. Можешь почитать, не возражаю.

Не посмотрел на паскалевский аналог сначала. Ну и зачем такие сложности из такой простой циклы?

Добавлено через 2 минуты

Сообщение от TheFox

то есть никаких изменений аргументов где-то за пределами стека

Стек сам по себе состояние так как же и любые данные. Но стэк для этого предназначен - для хранения состояний. это его суть.
Да кстати а как же указатели?

@korvin_ · 23.04.2015, 20:53

Сообщение от TheFox

Потому что в чистом лямбда-исчислении все должно быть грубо говоря "локально", то есть никаких изменений аргументов где-то за пределами стека, никаких сайд эффектов (изменения состояний). В этом и есть отличие подходов, а иначе не было бы смысла отделять его от процедурного подхода -- процедура тоже принимает аргументы и возвращает значения.

Как связаны замыкания и изменения? Замыкания — это всего лишь захват окружения, необходим для корректного связывания имён (переменных) и значений.

Haskell
1
2
3
f g x = \ y -> g x y
inc = f (+) 1
double = f (*) 2

— замыкания есть, побочных эффектов нет.

Добавлено через 2 минуты

Сообщение от Fulcrum_013

Не посмотрел на паскалевский аналог сначала. Ну и зачем такие сложности из такой простой циклы?

Нет, ты всё ещё не до конца понял. Это пример просто для демонстрации, как все манипуляции с состояниями легко перекладываются на ФП (на фундаментальном уровне).

@Fulcrum_013 · 23.04.2015, 20:55

Вопрос - ЗАЧЕМ?

@castorsky · 23.04.2015, 20:56

Сообщение от Fulcrum_013

И не только слышал а и в компорт оным тыкал.

На тогда альтернативу

Сообщение от Fulcrum_013

Чистоты от чего?

vector.begin(), array.begin(), string.begin()... Все эти геттеры, сеттеры, акцессоры, селекторы это фееричный дубляж функционала. Это просто мега фейл

These function templates are defined in multiple headers: Each of these headers includes the generic templates for all container and array types and not simply a specific overload. The headers are: <iterator>, <array>, <deque>, <forward_list>, <list>, map, <regex>, <set>, <string>, <unordered_map>, <unordered_set> and <vector>.

Conversely, begin is overloaded (with a different definition) in headers <initializer_list> and <valarray>.

Сообщение от TheFox

Ну, если трактовать вычисления настолько широко

Насколько широко? Ответьте себе на вопрос: с какой целью люди разработали автомат?

Сообщение от TheFox

А что там связывать? Объекты и классы это по-сути всего лишь удобный (ну, для некоторых, неудобный) способ описать данные и процедуры.

Доказано - неудобный и вредный. Читайте прошлые посты.

Сообщение от TheFox

Если четко следовать лямбда-исчислению, то никаких замыканий быть не должно.

Что это? λx.x + 1

Lisp
1
2
3
4
5
(define (foo)
  (lambda (x) (+ x 1)))
> ((foo) 10)
11
>

Сообщение от TheFox

Функции в лямбда-исчислении и функции в теории автоматов это разные функции, вот и все

Функция везде функция. У нее есть область значений и область определений. Вот и всё.

@Fulcrum_013 · 23.04.2015, 20:58

Сообщение от korvin_

замыкания есть, побочных эффектов нет

Если есть переменные значения которых можно изменять из вне то есть и сайд эффекты. если нет возможности изменять извне - то зачем тогда нужно замыкание?

@castorsky · 23.04.2015, 20:59

Сообщение от Fulcrum_013

Вопрос - ЗАЧЕМ?

потому что ООП - уродство, а объекты не нужны. Очевидно же.

@Fulcrum_013 · 23.04.2015, 21:00

Сообщение от castorsky

с какой целью люди разработали автомат

Ну у Юджина Стоунера - это хобби было. У Форгимлера и Шмайсера - профессия. А Мише Калашникову - ну чтобы буржуев пострелять.

@castorsky · 23.04.2015, 21:02

Сообщение от Fulcrum_013

Если есть переменные значения которых можно изменять из вне то есть и сайд эффекты

Что значит "извне"? Вполне легитимным вызовом функции можно изменить содержание замыкания. Это не "извне", это функция делает в ее законной области видимости.

Добавлено через 44 секунды

Сообщение от Fulcrum_013

Ну у Юджина Стоунера - это хобби было. У Форгимлера и Шмайсера - профессия. А Мише Калашникову - ну чтобы буржуев пострелять.

Ваганыч снова в строю xD

@Fulcrum_013 · 23.04.2015, 21:06

Сообщение от castorsky

потому что ООП - уродство, а объекты не нужны. Очевидно же.

Еще аргументы есть? Ну или существующие раскройте.
Ну и еще мало понятен термин сайд-эффект применительно к объектам. по большому счету объект это такая штука которая самостоятельно заботится об собственном состоянии и его изменениях в взаимосвязи с окружающими (т.е. ккаждый объект сам по себе ТАКОЙ САЙДЭФФЕКТИЩЕ ГОДЗИЛЛА ПРЯМ). И пользуется он как раз для того чтобы связать что либо а потом не париться что с чем связано и как обратывается (имеется в виду обработка пишется внутри класса а вышестоящий объект уже ни о чем не париться). И если целью мат модели к примеру является накопление как объектов так и взаимосвязей между ними с учетом системы ограничений, то как бы ЗАЧЕМ ИЗБАВЛЯТЬСЯ ОТ ТОГО ЧТО ВЫ НАЗЫВАЕТЕ САЙД-ЭФФЕКТОМ?

@TheFox · 23.04.2015, 21:07

Сообщение от Fulcrum_013

Стек сам по себе состояние так как же и любые данные.

Не-не-не, аргументы (входные данные) это не состояние. Так мы опять придем к машине Тъюринга, а у нас другая штуковина. Вообще, в чистом лямбда-исчислении, как формальной системе никакого стека нет, там есть хитрая штука под названием Y-комбинатор, но зачем забивать этим голову, если говорить о языках программирования, а не лямбда-исчислении, как математической дисциплине.

@castorsky · 23.04.2015, 21:13

Сообщение от Fulcrum_013

Ну или существующие раскройте.

Читать тред сначала и ходить по ссылкам. Аргументы более чем убедительные. Я не могу, ты и про сайд эффекты по наслышке знаешь.

C++
1
2
3
foo() {
  cout << "ololo";
}

фот тебе и сайд эффект

@Fulcrum_013 · 23.04.2015, 21:19

Сообщение от castorsky

Читать тред сначала и ходить по ссылкам. Аргументы более чем убедительные. Я не могу, ты и про сайд эффекты по наслышке знаешь.

Ты про то что поток cout может быть переназначен? так это так задумано. чтобы я мог туда дать любое назначение вывода данных. Учите парадигму трубопровода (pipeline).

@korvin_ · 23.04.2015, 21:25

Сообщение от Fulcrum_013

Если есть переменные значения которых можно изменять из вне то есть и сайд эффекты. если нет возможности изменять извне - то зачем тогда нужно замыкание?

Чтобы имя оставалось связанным со значением при выходе из области видимости, в которой это имя определено. В противном случае имя окажется не связано, значение, если оно было создано на стеке, будет уничтожено. Это как передать адрес значения, созданного на стеке, во вне процедуры и попытаться работать с ним после завершения работы этой процедуры. Допустим, у нас есть некий процедурный язык с поддержкой вложенных функций, но не являющихся замыканиями:

Pascal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
type TInc = function(Integer): Integer;
 
function MakeInc(x: Integer): TInc;
  function MustBeAClosure(y: Integer): Integer;
  begin
    Result := x + y;
  end;
begin
  Result := MustBeAClosure;
end; (* Выход из области видимости x *)
 
begin
  Inc1 :=
    MakeInc(1); (* Здесь x существует *)
  WriteLn(Inc1(2)); (* А здесь уже нет, получаем ошибку *)
end.

Фактически в турбопаскале этот код и не скомпилировался бы даже, насколько я помню.

@Fulcrum_013 · 23.04.2015, 21:33

Сообщение от TheFox

Y-комбинатор

Он наерное Великий этот Y?

Добавлено через 7 минут

Сообщение от korvin_

Допустим, у нас есть некий процедурный язык с поддержкой вложенных функций, но не являющихся замыканиями:

У меня на C++ вложенных функций нет. И нафиг не нужны. И на паскале никада тако дурью не маялся. Привет Вирту.

@castorsky · 23.04.2015, 21:33

Сообщение от Fulcrum_013

Ты про то что поток cout может быть переназначен?

Нет

@Fulcrum_013 · 23.04.2015, 21:35

Сообщение от castorsky

Нет

А про что?

@castorsky · 23.04.2015, 21:35

Fulcrum_013, всё с тобой понятно. ООП - ~~предел~~ зерно.

Добавлено через 30 секунд

Сообщение от Fulcrum_013

А про что?

в гугле забанили?

@Fulcrum_013 · 23.04.2015, 21:36

Сообщение от castorsky

Я не могу, ты и про сайд эффекты по наслышке знаешь.

А откуда мне о них знать если я думаю что пишу?

@korvin_ · 23.04.2015, 21:36

Сообщение от Fulcrum_013

У меня на C++ вложенных функций нет.

А компилятор g++ внезапно поддерживает вложенные функции.

Сообщение от Fulcrum_013

И на паскале никада тако дурью не маялся. Привет Вирту.

Ну мы уже поняли уровень твоей образованности, да.

@Fulcrum_013 · 23.04.2015, 21:36

Сообщение от castorsky

в гугле забанили?

Вообщето я гугл забанил.

Новые блоги и статьи Все статьи Все блоги /
ИИ не может найти нужный язык в списке Supersumestria 05.10.2026 Я ему даю вот такое изображение и прошу найти и подчеркнуть немецкий язык. Возвращает он вот это: https:/ / i. **********/ vqBWLe2. png Нужную строчку в 3й колонке просто выдумал. . Это. . .	Новая последняя моя музыка в SUNO zorxor 05.10.2026 Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .	Nekobox - outbounds[0].transport: unknown transport type: raw damix 01.10.2026 Фикс ошибки Правым кликом по серверу -> отладочная информация -> edit Заменить "net": "raw", на "net": "tcp", Нажать кнопку reload.	Программный домашний кинотеатр russiannick 27.09.2026 Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .
Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .	Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .	Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Jin X 06.09.2026 Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .

@Chak-Nuris 2 / 2 / 1 Регистрация: 17.03.2015 Сообщений: 110

	Зачем нужны объекты? 21.04.2015, 15:54. Показов 18930. Ответов 324 Метки нет (Все метки) Зачем нужны объекты? 0

@Fulcrum_013 2083 / 1576 / 169 Регистрация: 14.12.2014 Сообщений: 13,614
	23.04.2015, 20:55
	Вопрос - ЗАЧЕМ? 0