[gilmi]

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

[2]: https://gilmi.me/blog/tags/type%20inference