In the past year I learnt about the usefulness of (and sometimes need for) domain specific languages.
I am wondering if you have recommendations for books about creating a DSL? I saw Martin Fowler's book online, but perhaps there are also other good ones?<p>I program mostly in C++, and I am interested in DSLs partly for formal verification.
Very good recent book "Building user friendly DSL's". I went through quickly it was comprehensive and worthwhile to dig deeper. It's in JavaScript.<p><a href="https://www.manning.com/books/building-user-friendly-dsls" rel="nofollow">https://www.manning.com/books/building-user-friendly-dsls</a>
"Domain-Specific Languages" by Martin Fowler and Rebecca Parson might be interesting: <a href="https://martinfowler.com/books/dsl.html" rel="nofollow">https://martinfowler.com/books/dsl.html</a>