T
кложа - очень няшная, но тру фп языком ее считать не могу
ну pure не pure, но все же все возможности для фп есть и нет типов
Size: a a a
2020 March 06
TP
типизированные функции, мощные абстракции, dsl, компилятор помощник
Type programming != Functional programming
TP
Если уж зреть в корень, так сказать, то ФП появилось раньше «типов» :)
λ
Type programming != Functional programming
современные исследования говорят, что это уже неотделимые вещи
AC
Иммутабельные данные вообще только недавно поперли
λ
да и программы с типами в фп намного надежней
AC
современные исследования говорят, что это уже неотделимые вещи
Исследования в студию
TP
Я вот на кложаскрипте пишу энтерпрайзные UI удаленно в американской компании.
Кайф)
Сколько платят если не секрет?)
(я не фанат скрывания зарплат, но если вопрос не корректный вопрос, то конечно не надо отвечать)
Сколько платят если не секрет?)
(я не фанат скрывания зарплат, но если вопрос не корректный вопрос, то конечно не надо отвечать)
AC
да и программы с типами в фп намного надежней
Это не факт кстати.
λ
Это не факт кстати.
слушай, ну как не факт, компилятор ошибки показывает
λ
а зависимые типы так вообще такой инструмент инженеру дают
TP
Только наоборот 😁
VM
Насколько я помню, типы это накрутка поверх лямблда исчисления, которое является основой функционального программирования. Разве нет?
AV
Насколько я помню, типы это накрутка поверх лямблда исчисления, которое является основой функционального программирования. Разве нет?
Ну да собсна лямбда исчисление с лиспа пошло
VM
Нет, лисп построен на основе лямбда исчисления. Выше же писали.
VM
Оно появилось, когда ещё компьютеров не было.
AV
Нет, лисп построен на основе лямбда исчисления. Выше же писали.
Почему тогда в лиспе типов нет?
TP
Насколько я помню, типы это накрутка поверх лямблда исчисления, которое является основой функционального программирования. Разве нет?
Если честно, не интересовался что там с типами, но знаю что идеи функционального программирования пошли от Чёрча и его лямбда-исчесления. Которое, в свою очередь позволяло фигачить функции прям в том месте где они были нужны и тут же получать результат и заворачивать в другую функцию и пошло-поехало.
Вот эту кстати вложенность очень прикольно видно если в хацкеле do-нотацию развернуть)
Вот эту кстати вложенность очень прикольно видно если в хацкеле do-нотацию развернуть)
ST
ну pure не pure, но все же все возможности для фп есть и нет типов
есть типы в кложе
строгая динамическая типизация
строгая динамическая типизация
VM
Почему тогда в лиспе типов нет?
Потому что типы в лямбда исчисление приехали позднее.