I really enjoyed the article. I think one way to simplify language creation is to use an existing language with somewhat similar operational semantics as a com

I really enjoyed the article. I think one way to simplify language creation is to use an existing language with somewhat similar operational semantics as a compilation target. This simplifies the backend a lot and leaves more time to explore what the language (frontend) should look like. The backend can always be rewritten at a later time. My personal choice is usually JavaScript[1]. Regarding type checkers/type inference, I've also ran into difficulties with this topic, and I've written several articles trying to make it more approachable[2]. [1]: https://gilmi.me/blog/post/2023/07/08/js-as-a-target https://gilmi.me/blog/post/2023/07/08/js-as-a-target [2]: https://gilmi.me/blog/tags/type%20inference https://gilmi.me/blog/tags/type%20inference