#начальная_алгебра — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #начальная_алгебра, aggregated by home.social.
-
Рекурсивные типы. Часть 2/5. Неподвижные точки конструкторов типов
Содержание второй части: Неподвижные точки конструкторов типов Начальная F-алгебра Наибольшая неподвижная точка Классы типов неподвижных точек
https://habr.com/ru/articles/863324/
#функциональное_программирование #теория_типов #scala #рекурсивные_типы #неподвижная_точка #начальная_алгебра #свертка