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

Категории типов. Часть 2. Функторы

Это вторая вводная часть обзора, посвящённого применению теории категорий в программировании. В первой части представлены некоторые основные определения теории, в том числе, hom-типы, их значения-морфизмы, а также их композиция, позволяющая строить пути вычислений в рамках одной категории. В данной же публикации мы рассмотрим, как пути вычислений можно прокладывать через разные категории . Фокус заключается в том, что...

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

#scala #теория_категорий #функциональное_программирование #функторы

Функциональное программирование в Android. Теория категорий и DI

Кульминация цикла о функциональщине в Android! Сегодня изучаем чистые функции — ещё один важный принцип функционального программирования. Учтём контекст и познакомимся с сопутствующими терминами, раскрывающими суть чистых функций. А ещё обсудим место концепции Dependencies Injection в функциональном программировании. В общем, вперёд за новыми знаниями!

https://habr.com/ru/companies/dododev/articles/922710/

#android #функциональное_программирование #теория_категорий #каррирование #частичное_применение #монада #функторы #kotlin #мобильная_разработка #closure

Классические абстракции используемые в ФП

Это продолжение статьи про имплиситы и тайпклассы в Scala (если вы не знакомы с ними, то предлагаю начать с предыдущей статьи). А в этой статье рассмотрим классические примеры тайпклассов и их свойства и научимся писать максимально обобщенный код на Scala Читать статью

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

#scala #функциональное_программирование #функторы #моноид #полугруппа #аппликативные_функторы