Anonymous
Поэтому когда начал изучать нотацию хаскеля, то оказался приятно удивлён, что всё эт оя уже знаю)
автор, расскажите, что делать с функциями True/False которые Вы привели выше и как понимать два оператора подряд функция-стрелка?
Oleg
ФП это как быть монахом в монастыре - никто не понимает зачем ты делаешь это, почему тратишь на это много времени, когда всё это можно сделать быстрее, почему тратишь так много сил, но ты в глубине души умиротворен, спокоен и чувствуешь себя превосходно
Oleg
Но в итоге промышленная (ООП) революция победила
Sergey
Дима
😄
Дима
Но в итоге промышленная (ООП) революция победила
ООП — промежуточный этап на время становления технологий, когда ни памяти ни процессора для оптимизации функционального кода ещё не было
Oleg
Для того чтобы постичь ФП нужно молиться на Хаскел, стоя на одной ноге на крыше храма каждое утро.
Vitaly
достаточно редких молитв окамлу
Oleg
ООП — промежуточный этап на время становления технологий, когда ни памяти ни процессора для оптимизации функционального кода ещё не было
Ага, только он, именно настоящий ООП про обмен сообщениями между объектами, возник как раз после ФП с понимаением что можно жить эффективнее и лучше
Oleg
Ну древние традиции нужно почитать, да
Sergey
😄
меня ногами вперед выносят имена аргументов Succ = n => (s => z => s (n (s) (z))) чет сложновато понять куда и что. Автор статьи писал с легкой руки, но разобраться не легко
Oleg
Все эти узлы в интернете с обменами данными - оно же ООП в масштабном виде
Oleg
ФП бы не получилось
Дима
Ну древние традиции нужно почитать, да
ООП — это традиции на фоне беззакония. У тебя есть паттерн, но никакой мотивации у него нет — просто это "рационально"
Oleg
Паттерны это законы поверх бытия
Дима
Это максимум административные указы
Oleg
ООП это само бытиё
Sergey
"философия" пошла
Sergey
ООП это само бытиё
вообще ни разу
Дима
Фп — это просто свод законов которым подчиняется твой код и благодаря чему можно гораздо более эффективно и удобно формулировать суть происходящего
Oleg
вообще ни разу
То, которое про обмен сообщениями
Oleg
Не не, всё правильно
Sergey
чет
Дима
Обмен сообщениями — это акторы, и это только капля в море
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
Отправь мне из реального настоящего в реальное прошлое
я даже не сильно удивлюсь, если @ZeroBias отправит
Дима
Так как декларируется ряд законов, которым подчиняется весь код, становится возможным делать такие оптимизации
Oleg
Только вот в реальности это всё-равно последовательность тиков
Sergey
мне интересно, когда смогут запилить оптимизирующий компилятор для таких фп конструкций
Sergey
я раньше не видел реализации чисел на функциях это мне сильно выносит мозг
Oleg
Ну числа это же набор образов и аксиом
Sergey
Хаскель as it is
он же медленный, не?
Oleg
Ряд значений со своими правилами
Sergey
Ну числа это же набор образов и аксиом
я понял, фп == философия в виде кода
Oleg
он же медленный, не?
Это ещё одна причина почему ФП это для монахов
Oleg
я понял, фп == философия в виде кода
Не, это математика и арифметика
Sergey
так я говорю о том, когда запилят быстрый компилирующийся фп язык
Oleg
Про числа и тп
Дима
он же медленный, не?
Ну жс же оптимизируют) Так же и его тоже. По оптимизатору хаскеля целые диссертации делались
Sergey
я сегодня уволился и начались такие интересные темы
Oleg
А вот хвостовую рекурсию из старого стандарта всё никак
Sergey
Какие?
фп == математика)) хаскель is hardest
Sergey
и т.д.
Sergey
числа на функциях
Oleg
Да на самом деле нет ничего такого чтобы сделать числа на функциях
Sergey
я бы тоже выбрал
Sergey
но боюсь purescript будет против
GG
Прост не пойму, зачем так заморачиваться с фп, если он не приносит новых возможностей, или я ошибаюсь?
Oleg
но боюсь purescript будет против
В храм принимают только очистивших своё сознание
Oleg
Прост не пойму, зачем так заморачиваться с фп, если он не приносит новых возможностей, или я ошибаюсь?
В нем есть некоторая особая философия и оное очень приятно математикам
Дима
А вот хвостовую рекурсию из старого стандарта всё никак
Хвостовую рекурсию я могу оптимизировать как автоматически — бабель плагином, так и своими структурами данных, которые делают любые вычисления stack free
Sergey
В храм принимают только очистивших своё сознание
блин. у меня оно пропитано жсом и его классами и throw new Error
Oleg
На самом деле жаль
Oleg
Удобная вещь
Дима
Прост не пойму, зачем так заморачиваться с фп, если он не приносит новых возможностей, или я ошибаюсь?
В фп есть структура, которая позволяет отправлять сообщения в будущее и прошлое Ты уверен, что правильно понял иллюстрирующий пример? 😄