H
я SICP просмотрел, так и не понял в чем рофл. ну типа абстракции, ф-и высшего порядка. там где-то в конце логическое программирование
Size: a a a
2021 January 30
H
все используют абстракции и функции высшего порядка, это не новизна
a
ну человек хотел понять как ФП в лиспе реализовано
T
К стати.. а там новая редакция на змее, да?
Да.
Рим пал, центурион
Рим пал, центурион
T
я SICP просмотрел, так и не понял в чем рофл. ну типа абстракции, ф-и высшего порядка. там где-то в конце логическое программирование
SICP больше про само ФП, чем про Схему. По схеме лучше доки и маны читать.
H
какое-то доисторическое там ФП
H
ни про finally tagless, ни про монады, ни GADTs и прочее
T
какое-то доисторическое там ФП
Самое нормальное и правильное. Остальное попытка сделать императивку иммутабельной, что естественно невозможно.
H
Самое нормальное и правильное. Остальное попытка сделать императивку иммутабельной, что естественно невозможно.
> Само нормально и правильное.
откуда такой вывод?
откуда такой вывод?
T
> Само нормально и правильное.
откуда такой вывод?
откуда такой вывод?
В паралельном изучении с хаскелем.
ND
ни про finally tagless, ни про монады, ни GADTs и прочее
а фп тут каким боком?
H
монады на функциональных продолжениях, GADTs про обобщение алгебраических типов данных, finally tagless — это всё из ФП мира
ND
ну это к типам всё
ND
фп без этого вполне себе существует
T
монады на функциональных продолжениях, GADTs про обобщение алгебраических типов данных, finally tagless — это всё из ФП мира
Да, из OCaml, а оттуда в Хаскель переплыли. Но это не про ФП. Это про попытку сделать императивку функциональной.
ФП, как ни странно, про функции.
ФП, как ни странно, про функции.
a
ну это к типам всё
Хм, а как же типовое лямбда-исчисление?
a
или типизованное оно называется
H
Да, из OCaml, а оттуда в Хаскель переплыли. Но это не про ФП. Это про попытку сделать императивку функциональной.
ФП, как ни странно, про функции.
ФП, как ни странно, про функции.
реализации монад как представление их eDSL способствуют инкапсуляции на уровне функций — инкапсулируем состояние в функцию-интерпретатор монады, в противовес приватным полям в ООП где методы не имеют доступа к продолжениям чтобы их выполнить, материализовать интерпретацию этого eDSL в коде
H
я GADTs и на си реализовывал, тем не менее, алгебраические типы данных появились изначально в функциональных языках, таких как ML
finally tagless так и трактуется — ФП решение проблемы выражения. object algebras — ООП решение
finally tagless так и трактуется — ФП решение проблемы выражения. object algebras — ООП решение
H
фп без этого вполне себе существует
современное ФП как раз, в том числе, про мощные системы типов