#функтор — Public Fediverse posts

Язык мироздания — теория групп и теория категорий

Около полутора лет назад я опубликовал на Хабре статью под названием " Слово Божие — функциональное программирование как основа Вселенной ", в которой я рассказывал про лямбда-исчисление и про то, как программу любой сложности можно свести к алгоритму на базе всего трёх SKI-комбинаторов или же одного единственного йота-комбинатора. В ней мы разобрались с алфавитом божественного языка, на котором написана книга мироздания. Теперь же пришло время разобраться с его грамматикой.

https://habr.com/ru/articles/879808/

#теория_категорий #теория_групп #галуа #монада #функтор

Зачем в Scala трамплины и как их использовать

В этой статье директор департамента разработки российской компании «Криптонит» и «скалист» Алексей Шуксто рассказывает о специфической технике функционального программирования, которая называется «трамплин» (trampoline). Если кратко, то «трамплин» — это постоянный вызов в цикле новых частей вычисления вплоть до получения конечного результата. Трамплин можно рассматривать как шаблон проектирования, который позволяет избежать переполнения стека при рекурсивных вызовах функций. Достигается это следующим образом: когда функция вызывает саму себя, то вместо этого вызова управление передаётся другой функции — трамплину. Эта функция-трамплин вызывает исходную функцию с нужными параметрами и, если нужно, передаёт управление другой функции-трамплину. Таким образом, при рекурсивных вызовах функций никакая информация не сохраняется на стеке, а управление всегда передаётся между функциями-трамплинами. Чтобы вникнуть в детали, поясним ещё несколько моментов:

https://habr.com/ru/companies/kryptonite/articles/796433/

#scala #функциональное_программирование #трамплин #функтор #монада #рекурсия #хвостовая_рекурсия #вакансия #работа #developer