Hi Cafe,
I'm looking for materials on compiling functional languages. The materials that I was able to gather from the web were kind of all over the place, so I'm hoping someone could help me out with something more in order for a novice.
Starting from something specific and simple so I could have something small and concrete to implement, play and ponder about. And then going forward with more advanced materials about different optimization strategies for eager and lazy languages or what could be achieved when limiting yourself only to a total language, etc.
Cheers, Max.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe <at> haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Hi Maksymilian,
Here you'll find a (perhaps not so) short list I've accumulated:
http://pastemarkdown.com/XUEvs
and here it is in markdown format:
- [Implementing a JIT Compiled Language with Haskell and LLVM](http://www.stephendiehl.com/llvm/) - [Write You a Haskell](http://dev.stephendiehl.com/fun/index.html) - [Theory and Implementation of a Functional Programming Language](http://www.rose-hulman.edu/mathjournal/archives/2000/vol1-n2/paper3/v1n2-3pd...) - [Implementing Functional Programming Languages](http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/...) - SPJ - [Implementing Functional Langauges: a tutorial](http://research.microsoft.com/en-us/um/people/simonpj/Papers/pj-lester-book/) - SPJ - [Practical Implementation of a Dependently Typed Functional Programming Language | Brady](http://compsoc.dur.ac.uk/~ecb/proofread/thesis.pdf) - [PLAI](http://cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/plai-2007-04...) - [STG Machine](http://www.dcc.fc.up.pt/~pbv/aulas/linguagens/peytonjones92implementing.pdf) - [Typing Haskell in Haskell](http://web.cecs.pdx.edu/~mpj/thih/TypingHaskellInHaskell.html - [Practical type inference for arbitrary-rank types / SPJ et al.](http://research.microsoft.com/en-us/um/people/simonpj/papers/higher-rank/put...) - Compiling with Continuations - Appel - [PureScript Compiler](https://github.com/purescript/purescript)
Cheers and good luck, Gil
Nice list Gil. We've recently implemented a pure FL compiler. We started with the "stock hardware" paper ([STG Machine] in Gil's list), but it's somewhat dated (e.g. they're still using a trampoline). Our main reference was the "fast curry" paper: http://community.haskell.org/~simonmar/papers/evalapplyjfp06.pdf Bernie Pope's MiniSTG is a useful learning tool based on that paper: https://wiki.haskell.org/Ministg Our type inferencer currently handles ADTs including unboxed types. I strongly recommend http://soft.vub.ac.be/~cfscholl/Capita-Selecta-2015/papers/2002%20Heeren.pdf supplemented by https://galois.com/wp-content/uploads/2014/08/pub_JL_UnboxedValuesAsFirstCla... Then if you get serious [Typing Haskell in Haskell] in Gil's list. For compiling pattern matching we started with one of the [Implementing Functional ...] in Gil's list, then found some other references online (I don't know exactly which--I didn't implement that part). For a parallel implementation we started with http://community.haskell.org/~simonmar/papers/multiproc.pdf Then there are subsequent papers that can be found on SPJ's publication page. Hope this helps, it helped us! Kei -- Kei Davis Applied Computer Science Group CCS-7, Mail Stop B287 Los Alamos National Laboratory Los Alamos, NM 87545, U.S.A.