ООП vs. ФП vs. ...

[thedeemon]

"Долгое время программисты считали, что мир состоит из объектов, которые могут состоять из других объектов, и в конечном счете из [данных] элементарных частиц типов. Но в первой половине ХХ века появилась более точная теория, где мир описывался [волновыми] функциями, эволюция и свойства которых описываются функциями высшего порядка. Еще позже возникла теория о том, что все состоит из строк, но подтвердить или опровергнуть ее пока не представляется возможным..."

Comments

[fas-tm.livejournal.com]

ОПП-ФП дуализм. В лаборатории, Британские ученые проводят опыты по сталкиванию бинарных файлов на суперкомпьютере и анализ кордампов для выделения частиц Бога серебрянной пули.

[alll]

Вы таки будете смеятся, но изрядный вклад в математический аппарат квантовой механики внёс некий фон Нейман афаик.

[macrop.livejournal.com]

Вспомнилось как нам дуализм так на лекции рассказывали.
Если взорвать бомбу, то чем дальше ты от неё будешь, тем лучше. Волна ослабляется пропорционально квадрату расстояния. Зато если насыпать в неё болтов, то близко ты стоял или далеко, без разницы, попадёт болт, там и там будет одинаково плохо. Зато вероятность попадания болта, пропорциональна крадрату расстояния.

[nponeccop.livejournal.com]

В последнем абзаце - непереводимая игра слов "строк/струн".

[thedeemon.livejournal.com]

pun intended

[diam-2003.livejournal.com]

Также существуют гипотезы о том, что всё - это гигантская база данных, или что всё - это гигантская цифровая схема. А с точки зрения жука-скарабея, вселенная... впрочем, эту гипотезу обычно не рассматривают, как мало аппетитную.

[ircicq.livejournal.com]

по Вольфраму вселенная - гигантский клеточный автомат

[sassa-nf.livejournal.com]

почитайте википедию - там всё понятно: строки - это функции с неподвижными точками. ФП wins (again)

[sorhed.livejournal.com]

Существуют также несколько Теорий Объединения, пытающихся объединить функциональный и объектно-ориентированный мир. Одна из более или менее успешных была разработана в Лозанской Политехнической Школе (где располагается — совпадение? — крупнейший в Европе исследовательский ядерный реактор и несколько ускорителей частиц). Получившая название "Scala theory" (калибровочная теория), она позволяет выразить объектно-ориентированные уравнения через функциональную систему так называемых зависимых типов. К сожалению, несмотря на заявляемую работоспособность с произвольным масштабированием (scale invariance), её критики утверждают, что на астрономически больших (т.н. «облачных») и микроскопически малых дистанциях возможны заметные расхождения с реальными наблюдениями.

[inv2004.livejournal.com]

А как же адепты того, что всё - вектор?

[juan-gandhi.livejournal.com]

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

Так что, к примеру, образование пар с их точки зрения - это конъюнкция, карриинг - это модус поненс, а вот выразить степень через импликацию, а импликацию через сумму, причём первое слагаемое отрицание, а отрицание - это незавершаемость программы...

Короче, всех лечить.

[kodt-rsdn.livejournal.com]

Ну почему же, алгорифмы известного петербуржского поэта Маркова, а также машина Почты - всё это подтверждает, что наш мир - это текст, который читает сам себя.

[sober-space.livejournal.com]

Я предпочитаю такое сравнение: емперативка это обычная физика, с пространством, а функционалка это квантовая пена, без пространства.