6 материалов в этой теме.
Как из повторяющегося кода «распаковать — применить — запаковать» рождаются функтор и аппликатив, зачем нужны их законы и почему валидация формы с накоплением всех ошибок …
Что происходит, когда к лямбда-исчислению приделывают типы: часть программ перестаёт компилироваться, зато оставшиеся гарантированно завершаются — и внезапно оказывается, …
Строгое введение в теорию категорий для инженера: определение категории и законы композиции, изоморфизмы и двойственность, универсальные свойства произведения и …
Как компилятор доказывает, что программа не сложит число со строкой: суждения типизации, бидирекциональная проверка, унификация с occurs check и полный алгоритм Хиндли — …
Как писать один алгоритм для многих типов и как заставить программу писать программу: параметрический полиморфизм, ограничения, мономорфизация против стирания типов, …
Как суммы и произведения типов убирают невозможные состояния из программы, зачем нужна проверка исчерпывающности и во что обходится моделирование данных через ADT.
По этому запросу ничего не найдено.
