Статья
Синтаксис по факту: модули, функции, выражения, образцы
Разбор конструкций языка по файлам репозитория и по программам, которые мы прогнали через check и test: теоркат — функтор, моноид, изоморфизм, бифунктор; функции как …
База знаний
Тема: сопоставление с образцом
2 материалов в этой теме.
Материалы
2 на странице
Статья
Алгебраические типы данных и сопоставление с образцом
Как суммы и произведения типов убирают невозможные состояния из программы, зачем нужна проверка исчерпывающности и во что обходится моделирование данных через ADT.
По этому запросу ничего не найдено.