X
Факт того, что парсер языка не может ни во что сложнее метода рекурсивного спуска (кроме части по выражениям с приоритетами)
Size: a a a
2021 November 16
X
короче — куча серьёзных ребят по матчасти, а сам язык — как студенческое поделие
BV
но не в одном проекте, честно за 10 лет я таких проектов не встречал где бы сразу всё использовали, а вот простое введение на хаскел (книжное или просто по либам пробежаться) почему сразу вываливает все способы в себя пострелять
s
Ха, в lean можно mixfix.
X
тут надо сказать, что сам окамль — тоже ещё то коричневое тело, и не особо-то шоколад
IN
ну тут соглашусь
X
и там совсем не так давно была решена проблема, что в разных структурках нельзя использовать поля с одним именем
s
И в coq, и в agda можно определять нормально синтаксис.
X
на дворе был то ли 2015й год то ли даже позже
BV
а так в целом, я когда уползал в шаблонный прог, то хаскель весьма поменял моё представление о том что и как надо делать
X
и они это только тогда починили
X
значит это более зрелые языки
BV
у лиспа беда в том что моя клава не выглядит как та на которой его изобретали
X
это не беда лиспа
BV
и мне больно на нём писать
X
это беда твоей клавы)
IN
я тоже после хаскеля немного по-другому относился к функциональным парадигмам в других языках
X
но звучит как странная проблема
BV
почти все клавиатуры современности имеют другие места под знаки и управляющие клавиши
X
а что именно не так-то