Полярные типы данных в Edva
Habr ·
В большинстве языков программирования понятия «истина/ложь», «значение есть/значения нет» и «успех/ошибка» живут в разных мирах. Для первого существует примитив bool и конструкции if/else , для второго — Option ( Maybe a ), для третьего — Result ( Either a b ). У каждого из них свои конструкторы ( true / false , Some / None , Ok / Err ) и свой набор комбинаторов. Системный язык программирования Edva , спроектированный без единого ключевого слова, сводит все бинарные исходы к единому примитиву на уровне системы типов — алгебраическим разветвлениям (Algebraic Ramifications, или коротко — Rams) . Ссылки Погрузиться в заполярье