К
или уже
Size: a a a
2020 April 10
PS
Спасибо!
V
Всем привет от рядового js-разработчика! Каг дила? :)
E
PS
Всем привет от рядового js-разработчика! Каг дила? :)
Привет! Я уже спрашивал по поводу описания грамматики в компиляторе Oberon на JS, если помните. Но у нас тут дискуссия на тему того, что нужно знать, чтобы придумать такую комбинаторную формулировку, как у Вас. Я помню, что с PEG предварительного знакомства не было. Но ведь код явно не в паскалевском духе. Так откуда это? :)
V
Да, про PEG я потом узнал.
V
Про хаскель читал книгу. Хорошо вправила мозг. На работе с хаскелем сталкивался только один раз.
V
Да, код далек от того, что предлагает Вирт с своем построении компилятора :)
V
Описание грамматики, естественно, хотел сделать близким к оригинальной EBNF. Получилось вот так.
PS
Описание грамматики, естественно, хотел сделать близким к оригинальной EBNF. Получилось вот так.
То есть идея использования eDSL на комбинаторах — из учебника по Haskell? А что именно повлияло? Неужели те самые монады? Или, все-таки, общий подход композиции функций высшего порядка?
V
Че-то у вас тут длинная дискуссия. Не осилю всю. Спрашивайте если еще чего хотите узнать.
V
Ну DSL не только в хаскеле бывает.
V
В хаскеле просто намного "чище", чем в каком-нибудь С++.
V
Поэтому книжка по хаскелю как раз помогла увидеть суть без ненужных деталей реализации.
PS
Ключевой момент, который не одного меня интересует, вдохновили ли монады на написание такого изящного парсера. Я, например, не вижу их в коде :)
V
К моменту прочтения про монады - я для себя никаких новых открытий не сделал. Просто очищение от шелухи и расстановка по полочкам.
PS
А помимо учебника по Haskell Вы в тот момент знакомы были с ФП? Читали ли SICP или что-то иное?
2020 April 11
V
Нет, с чистым ФП по-нормальному не был знаком. Но использовал в С++ функциональный подход по месту.
V
А где ты меня видел в Фидо? Я там уже сто лет не был.
PS
А где ты меня видел в Фидо? Я там уже сто лет не был.
Я когда-то был даже в BasicNet ;)