А
по-моему, наоборот. чем раньше он поймет, что функцией называют не то, что раньше, тем лучше :)
Size: a a a
2021 October 01
T
Функция это просто минипрограмма что тут непонятного
T
Даёшь ей 2 и 3 она возвращает 5 (функция сложения )
А
функтор - это не функция. так же, как и монада. это тип данных, для которого определен соответствующий интерфейс
T
Тут есть спецы по Forth ?
JS
есть много монад. у каждой практический смысл свой
˸A
Интересная статья. Спасибо
IZ
Forth - не FP ни разу, к слову
K
http://tunes.org/~iepos/joy.html - рекомендую в контексте ФП и Форта. Это не форт, но более абстрактный язык
E
вообще современное ФП ориентировано на статическую типизацию, а в форте вообще нет в стоке никакой типизации, хотя и можно там навертеть любую систему типов, при желании (как в лиспе), но кто таким будет заниматься?
T
Есть безопасный форт с типизацией. А вот насчет навертеть это согласен. Хотя все относительно .
˸A
По с++ не подскажу. Я больше по джс - там меня эта книга учила http://www.tomharding.me/2017/06/05/fantas-eel-and-specification-15/ (только это аж 16 глава)
А ещё курс лекций по ТК - https://www.youtube.com/watch?v=VKQ8qvvrT4U (тоже только на 14й лекции про монаду)
А ещё курс лекций по ТК - https://www.youtube.com/watch?v=VKQ8qvvrT4U (тоже только на 14й лекции про монаду)
T
Насчёт монад пишут вот что (авторский текст: Объект future по определению является монадой! Это разновидность типа-контейнера , который может содержать ноль или один результат , в зависимости от состояния асинхронной операции.» Книга Функциональное программирование на С++ Иван Чукич
E
монады — они разные бывают, это просто класс типов, и его могут инстацировать разные типы с разным поведением
T
T
Книга интересная, но очень необычная
˸A
Бред. Я бы такое не читал
Вот вам ещё ссылка на список ресурсов https://t.me/fp_ru/10625
Вот вам ещё ссылка на список ресурсов https://t.me/fp_ru/10625