Статья
Алгебраические типы данных и сопоставление с образцом
Как суммы и произведения типов убирают невозможные состояния из программы, зачем нужна проверка исчерпывающности и во что обходится моделирование данных через ADT.
1 материалов в этой теме.
Как суммы и произведения типов убирают невозможные состояния из программы, зачем нужна проверка исчерпывающности и во что обходится моделирование данных через ADT.
По этому запросу ничего не найдено.