3 ms·

Want to see a real killer example? Look no further than the Nanopass framework. It outhaskells Haskell and outmls MLs. It solves the expression problem they str

by sklogic 10y ago

Want to see a real killer example? Look no further than the Nanopass framework. It outhaskells Haskell and outmls MLs. It solves the expression problem they struggle with. It makes compiler construction laughably trivial.

eru 10y ago
Actually, the expression problem has been solved in Haskell. (Or rather, they are multiple good attempts at solutions.) Is nanopass typed? I'd like to see some good examples of typed Racket.
- sklogic 10y ago
  It is a sort of a typed DSL hosted on top of an untyped language.
  - eru 10y ago
    Thanks!