Show HN: Crafting Interpreters – A handbook for making programming languages

Re:Show HN: Crafting Interpreters – A handbook for making pr... by mamcx on Sunday January 15, 2017 @10:46PM (#13408079)

I want this too, but is weird to me that is a huge chasm in this area, where a lot of material stop at the most basic, and then it cover a niche that is complicated (like for example, type inference).

If I wanna to implement a dialect of ML, I haven't' find a simple explanation in how implement product/sum types, modules & pattern matching.

Yet, tons of type inference and other less common things.

ie: The basics stop fast and suddenly jump into something else.

[ Parent | on HN ]

Re:Show HN: Crafting Interpreters – A handbook for making pr... by jnbiche on Monday January 16, 2017 @06:20PM (#13413931)

> If I wanna to implement a dialect of ML, I haven't' find a simple explanation in how implement product/sum types, modules & pattern matching.

Exactly. I mean, how in the world to implement pattern matching in ML-like languages? And ADTs? These are exactly the kind of subjects I'd like to see covered in a more advanced book on building interpreters or compilers for statically-typed languages.

[ Parent | on HN ]