Полярные типы данных в Edva

[starfair]

Мне кажется, такие конструкции сложнее запоминать, чем использовать устоявшиеся разные типы данных, для разных предназначений. Конечно, может если попользоваться регулярно, то вполне себе и зайдет. Но что то мне подсказывает, что скорее нет, чем да.

[amhbr]

Edva, спроектированный без единого ключевого слова

Это конечно плюс, но сильно замороченные операторы иногда даже хуже ключевых слов. Посмотрел документацию (https://edva‑lang.github.io), пока операторам не хватает системности (большое разнообразие форм размыает смысл).

Вместо отдельных bool, Option и Result — единый параметризуемый тип

В эту группу можно добавить "еще не вычислено" (отложенные/параллельные вычисления) и многое другое, что сводится к бинарному восприятию. Я делал для любых пользовательских типов через объявление функции преобразования к bool. Так и расширяемость есть и операторы не прибиты к языковым конструкциям, как в популярных языках. Нет границы, это может сделать только автор языка, а это пользователь.