[Haskell-cafe] Re: idea for avoiding temporaries

Simon Peyton-Jones simonpj at microsoft.com
Tue Mar 13 04:59:20 EDT 2007

| Perhaps A section of the wiki is in order that lists the most recent
| paper that describes various parts of what is actually used in the
| production ghc.
| perhaps something like
| type checker : boxy types and impredicativity paper + Wobbly type GADT
| inference paper
| optimizer/simplifier : secrets of haskell inliner paper
| runtime: eval/apply vs push-enter paper
| garbage collector: non-stop collection for haskell paper
| fundep implementation: ?
| concurrency: STM papers + original concurrency paper

If you put up a draft, I will check it for veracity.  (You might want a section for things that are described in the literature, but are *not* in the HEAD.  Notably:
        - Wansbrough's usage analysis
        - Ennals's optimistic evaluation


More information about the Haskell-Cafe mailing list