Oleg
ФП это как быть монахом в монастыре - никто не понимает зачем ты делаешь это, почему тратишь на это много времени, когда всё это можно сделать быстрее, почему тратишь так много сил, но ты в глубине души умиротворен, спокоен и чувствуешь себя превосходно
Sergey
Oleg
Но в итоге промышленная (ООП) революция победила
Sergey
Дима
😄
Oleg
Для того чтобы постичь ФП нужно молиться на Хаскел, стоя на одной ноге на крыше храма каждое утро.
Vitaly
достаточно редких молитв окамлу
Oleg
Ну древние традиции нужно почитать, да
Sergey
😄
меня ногами вперед выносят имена аргументов
Succ = n => (s => z => s (n (s) (z)))
чет сложновато понять куда и что.
Автор статьи писал с легкой руки, но разобраться не легко
Oleg
Все эти узлы в интернете с обменами данными - оно же ООП в масштабном виде
Oleg
ФП бы не получилось
Oleg
Паттерны это законы поверх бытия
Дима
Это максимум административные указы
Oleg
ООП это само бытиё
Sergey
"философия" пошла
Sergey
Дима
Фп — это просто свод законов которым подчиняется твой код и благодаря чему можно гораздо более эффективно и удобно формулировать суть происходящего
Sergey
Oleg
Не не, всё правильно
Sergey
чет
Дима
Обмен сообщениями — это акторы, и это только капля в море
Oleg
Sergey
Add = n => m => m (Succ) (n)
Mul = n => m => m (Add (n)) (Zero)
Pow = n => p => p (Mul (n)) (One)
//⇈ = n => m => m (Pow (n)) (One)
здесь я сдулся
Дима
Deal with it
Oleg
Oleg
На этом даже модные сейчас фреймворки делают
Oleg
Хотя ничего такого на самом деле в этом нет
Oleg
В смалталке вообще можно было вперед-назад мотать программу
Oleg
И разрабатывать методом запуска программы и остановки
Oleg
Отправь мне из реального настоящего в реальное прошлое
Oleg
Чтобы оно с реальным миром стыковалось
Дима
))
Oleg
Так или иначе это очередность
Дима
Сложно поверить, не правда ли?)
Sergey
Дима
Так как декларируется ряд законов, которым подчиняется весь код, становится возможным делать такие оптимизации
Дима
Oleg
Только вот в реальности это всё-равно последовательность тиков
Sergey
мне интересно, когда смогут запилить оптимизирующий компилятор для таких фп конструкций
Oleg
Sergey
я раньше не видел реализации чисел на функциях
это мне сильно выносит мозг
Дима
Oleg
Ну числа это же набор образов и аксиом
Oleg
Ряд значений со своими правилами
Sergey
Oleg
Sergey
так я говорю о том, когда запилят быстрый компилирующийся фп язык
Oleg
Про числа и тп
Дима
он же медленный, не?
Ну жс же оптимизируют) Так же и его тоже. По оптимизатору хаскеля целые диссертации делались
Oleg
Sergey
я сегодня уволился и начались такие интересные темы
Oleg
А вот хвостовую рекурсию из старого стандарта всё никак
Sergey
Oleg
GG
Sergey
Какие?
фп == математика))
хаскель is hardest
Sergey
и т.д.
Sergey
числа на функциях
Oleg
Да на самом деле нет ничего такого чтобы сделать числа на функциях
Дима
Sergey
я бы тоже выбрал
Sergey
но боюсь purescript будет против
GG
Прост не пойму, зачем так заморачиваться с фп, если он не приносит новых возможностей, или я ошибаюсь?
Oleg
Oleg
Oleg
На самом деле жаль
Oleg
Удобная вещь