[bitc-dev] Opinions wanted: Infix shift operators

[wren ng thornton]

Kristopher Micinski wrote:
> I haven't studied the G-Machine at all, but would be interested. Can you
> point us in the direction for reading? I found Simon P. Jones' paper on it,
> and also know his book details how he uses it in implementing functional
> languages, but if you have any other pointers I'd be glad to go read it.
> (Perhaps I should just read the source? If it's readable :) ???)

The most recent paper that gives a complete overview is:

Implementing lazy functional languages on stock hardware: the Spineless 
Tagless G-machine, SL Peyton Jones, Journal of Functional Programming 
2(2), Apr 1992, pp.127--202.

http://research.microsoft.com/en-us/um/people/simonpj/papers/spineless-tagless-gmachine.ps.gz


That paper isn't up-to-date for the current status of GHC (as might be 
expected), but all the papers since then only focus on particular 
details. Current GHC isn't entirely tagless, as discussed in:

     http://research.microsoft.com/en-us/um/people/simonpj/papers/ptr-tag

You may also be interested in this more recent paper on currying:

     http://www.haskell.org/~simonmar/papers/evalapplyjfp06.pdf

-- 
Live well,
~wren