Interesting dilemmas in this thread – hits close to home seeing as I'm currently working on an EDSL with powerful-ish static analysis. 🤔
Quote Tweet
It is so interesting to see how Menhir parser generator, my favorite language design tool, evolves over time. It keeps getting more and more programming-language-envy features: macros, parametric rules, parametric grammars, standard library of rules, higher-order rules…
Show this thread