Просто у тебя есть термы и ты их вжух-вжух редуцируешь

Как Чёрч

А что может эта штука, что не может система типов такая?

Шарят в логике только учёные

Ты можешь писать
Put 10$ to budget.
вместо
budget += 10;

Да в принципе ничего. Изоморфизм никуда не делся. Плюс, типовые исчисления банально лучше гарантируют корректность. В логосе я не видел пока чтобы что-то защищало от некорректного построения диалекта.

Это просто DSL на стероидах. Разница - в фокусе применения. Чем для тебя eBNF лучше системы типов? Ведь можно на парсер-комбинаторах бахать. А можно описать в eBNF, скормить генератору и он выплюнет готовое решение. Первое сможет далеко не всякий программист. Второе - любой нетупой человек немного попрактиковавший написание грамматик и посмотревший примеры.

Логос идёт чуть дальше и чуть обобщённее. @tucnak хочет дать инструмент, который опускает порог для построения систем.

Понятно

О чем вы?

С разморозкой)
Сделай поиск по чату по слову "логос".

Хотелось сказать что ты неправильно понял но я ЗАЕБАЛСЯ. Слишком много обсуждений языка у которого даже демки толком нет, и который будет коммерческим продуктом. Ненавижу когда ИНСТРУМЕНТЫ делают коммерческими.

Всё-таки ублюдство дин. типизации никуда не делось в Common Lisp

Всё так же 6+ разных операторов сравнения

Которые отличаются деталями

Как идейный сторонник опенсорса, не могу не согласиться.

О так ты тоже коммунист

Анархист-коммунист-либераха тогда

Только в части кушать конфеты завода "Комунарка"

Опенсорс же любишь

А опенсорс чистейшее проявление коммунизма