Инкапсуляция и ключевое слово final

[xoposhiy]

Внезапно! В пост про зачОт набежали! Кое-кто из набежавших даже заработал бан за неадекватность.Там в комментах я имел неосторожность высказать совершенно на автомате примерно такую фразу

Comments

[metaclass]

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

И таки иммутабельность не имеет явного отношения к ООП, это скорее прием из ФП.

[xoposhiy]

Именно об этом я и написал - мне важно, чтобы человек понимал фундаментальную идею, которая кроется за всей этой синтаксической шелухой.

[xoposhiy]

И да, меня совершенно не смущает, что в курсе по ООП я со студентами подробно обсуждаю некоторые штучки, пошедшие из ФП. :)

[fdo_eq]

Забавно. А вот в жизни никто не запрещает стрелять себе в ногу, а все равно никто не стреляет. Почему так? И почему не так с программистами?

[xoposhiy]

Как это?! В жизни тоже запрещают, только косвенно - оружие запрещают

[fdo_eq]

Ну, не солидно! Не по делу возражение. Хорошо, выстрел в ногу заменим на выкалывание себе глаза (чтоб у тещи зять кривой был).

[xoposhiy]

УК РФ.
В реальной жизни премодерировать поступки сложно, поэтому постмодерируют.

В программировании же можно премодерировать.

Ваша аналогия сильно течёт! ;)

[kurilka]

Олег, покажи инкапсуляцию без интерфейса?

[kurilka]

callable - интерфейс, mailbox - тоже интерфейс. Пусть оно и не особо constrained.

[xoposhiy]

"Возьмите исходные определяния ООП - где вызов метода есть посылка сообщения объекту - вот вам и инкапсуляция - никто не знает как объект обработает эти сообщения."

Мы говорим про теоретическо-абстрактное ООП в вакууме? Почти в любом языке программирования, заявляющим поддержку парадигмы ООП инкапсуляцию можно хакнуть. Где-то сложнее, где-то легче.

"А всякие ограничения - это вопросы к системам типов, и никоим образом - к ООП"

Если принимать именно такое куцое определение ООП по Кею, то, наверное, да. Но оно реально очень куцое! Короче все сводится к термнологическому спору, а это уже не интересно.

[184467440737095]

набежали, очевидно, потому что ваш репорт о icfp был найден и прочитан заинтересованными лицами, а журнал изучен на предмет интересного.

люди у вас в комментах принадлежат более-менее плотному в плане френдсвязей кластеру, это одна из причин по которой они тут появились вместе.

ну а по поводу final и инкапсуляции вам уже и так нагрузили достаточно. и кея, и лисков, и смежные вопросы.

[metaclass]

Ну, толпа психов, двинутых на ФП, системах типов и прочем, с забиватором во главе.
"Чем только люди не будут заниматься, только бы опердень в лоб не писать".