Категории типов. Часть 7. Исчисление концов +3
Публикации с тегом теория категорий
Категории типов. Часть 6. Расширения Кана +2
Категории типов. Часть 5½. Сопряжения из монады +2
Категории типов. Часть 3. Естественные преобразования +5
Категории типов. Часть 2. Функторы +5
Категории типов. Часть 1. Hom-типы +11
От Аристотеля до Тьюринга: что такое функциональное программирование и как оно облегчает жизнь +29
- Блог компании AvitoTech
- Функциональное программирование
- Ненормальное программирование
- TypeScript
- Программирование
Функциональное программирование в Android. Теория категорий и DI +3
- Блог компании Dodo Engineering
- Функциональное программирование
- Разработка мобильных приложений
- Android
Теория категорий для самых маленьких. Введение +11
Обобщённые типы. Часть 3/3. Применение контейнерных типов
Теория категорий в API для консистентности Apache Cassandra +2
Коллективное распознавание смысла +2
Алгебра текста без формул +1
Конкордантность смысла +5
Категория контекста +4
