Тема: теория-категорий

Статья

flang — описание языка

Что за язык flang: два класса программ, печать в девять языков, самоприменение, fspec — спеки на flang — и честная граница между доказанным и проверенным

#flang#языки-программирования#формальные-методы

Статья

Синтаксис по факту: модули, функции, выражения, образцы

Разбор конструкций языка по файлам репозитория и по программам, которые мы прогнали через check и test: теоркат — функтор, моноид, изоморфизм, бифунктор; функции как …

#flang#синтаксис#сопоставление с образцом

Статья

Теория категорий: объекты, морфизмы, функторы, естественные преобразования

Строгое введение в теорию категорий для инженера: определение категории и законы композиции, изоморфизмы и двойственность, универсальные свойства произведения и …

#математика#теория категорий#функторы

Статья

Теория категорий в программировании: функторы, монады, F-алгебры, линзы

Как абстрактная чепуха превращается в рабочий инструмент: категория типов, законы функтора и монады, аппликативная валидация, катаморфизмы вместо ручной рекурсии и линзы …

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

Статья

Карта функторов: иерархия абстракций ФП от полугруппы до комонады

Одна связная карта всех абстракций ФП: зачем нужна каждая ступень от Semigroup до Comonad, чем они отличаются по силе, как выбрать нужную под задачу и сколько всё это …

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