News for hackers. Stuff that matters.

A comment on Whoever does not understand Lisp is doomed to reinvent it (2007). Parent comment

Re:Whoever does not understand Lisp is doomed to reinvent it... by sklogic on Sunday May 15, 2016 @07:13AM (#11700461)
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.
[ Parent | on HN ]
Re:Whoever does not understand Lisp is doomed to reinvent it... by eru on Sunday May 15, 2016 @08:51AM (#11700719)
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.

[ Parent | on HN ]
Re:Whoever does not understand Lisp is doomed to reinvent it... by sklogic on Sunday May 15, 2016 @10:02AM (#11700928)
It is a sort of a typed DSL hosted on top of an untyped language.
[ Parent | on HN ]
Re:Whoever does not understand Lisp is doomed to reinvent it... by eru on Sunday May 15, 2016 @08:31PM (#11703494)
Thanks!
[ Parent | on HN ]