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

@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

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

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

Новые блоги и статьи Все статьи Все блоги /
Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .	Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Jin X 06.09.2026 Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .	Программа опроса у.з. расходомера SLS-720F Argus19 02.09.2026 Программа опроса у. з. расходомера SLS-720F Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU. Опрашиваются регистры. . .	Hyper-V: Компьютер должен поддерживать доверенный платформенный модуль 2.0. Maks 31.08.2026 При установке Windows 11 на виртуальную машину Hyper-V 2-го поколения вылезла такая ошибка: Решение: в параметрах виртуальной машины, в разделе "Безопасность" (Security) активировать флаг. . .
Архитектура биовида Стива в Майнкрафте: Зачем бонобо кубический каннибализм anaschu 30.08.2026 Кубический Вагинокапитализм в Minecraft: Математический инвариант ОДУ и рок Стивов-бонобо Главная задача разработанной «Модели Всего» — наглядно продемонстрировать наличие системной «судьбы». . .	Оттачиваю умение писать js программы. russiannick 30.08.2026 Проектом выходного дня стало написание Книги шифров Виженера. Итогом стала версия 200, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .	мат медиц модель 30. презентация проекта anaschu 27.08.2026 хоп хоп хоп хидахоп, а я кладую))	Как у меня протекала болезнь zorxor 27.08.2026 Здравствуйте, друзья! Эта запись блога предназначена именно для вас - для моих дорогих друзей, которые знали меня лично. Чтобы ответить на вопрос - а что же со мной произошло на самом деле? Я учился. . .

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

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

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