Implementing a JIT Compiled Language with Haskell and LLVM

Re:Implementing a JIT Compiled Language with Haskell and LLVM by sklogic on Saturday September 12, 2015 @04:33PM (#10209264)

ML got ADTs and pattern matching out of the box. Fine. With Lisp you can quickly build your own ADTs, with some enhanced functionality which is not possible in *ML family.

See a couple of examples of this:

[1] http://www.cs.indiana.edu/~dyb/pubs/nano-jfp.pdf

[2] https://github.com/combinatorylogic/mbase

[ Parent | on HN ]

Re:Implementing a JIT Compiled Language with Haskell and LLVM by Peaker on Sunday September 13, 2015 @09:38AM (#10211348)

> > When changing the AST, how would you go about changing all the code that needs to be changed?

Is there an answer to this question?

[ Parent | on HN ]

Re:Implementing a JIT Compiled Language with Haskell and LLVM by sklogic on Sunday September 13, 2015 @11:34AM (#10211706)

Have you seen Nanopass or MBase? They address this very question.

[ Parent | on HN ]