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