Alignment of doubles in ghc

[Simon Peyton-Jones]

Try
	http://research.microsoft.com/~simonpj/papers/eval-apply/

This paper discusses the eval/apply stuff in some detail

Simon

| -----Original Message-----
| From: glasgow-haskell-users-admin@haskell.org
[mailto:glasgow-haskell-users-admin@haskell.org]
| On Behalf Of Jerzy Karczmarczuk
| Sent: 12 May 2003 12:59
| To: glasgow-haskell-users@haskell.org
| Subject: Re: Alignment of doubles in ghc
|=20
| Simon Marlow wrote:
|=20
| > We've already made the switch to eval/apply for the next release of
GHC.
| > However, deferring the entirety of stack management to an underlying
| > compiler is not that easy: we do accurate garbage collection, so we
need
| > to retain enough information about the compiler's idea of stack
layout
| > in order to be able to find all the pointers during GC.  We
therefore
| > can't compile via C using an ordinary C compiler and leave the stack
| > management up to the C compiler.
|=20
| Is there anything published/unofficially available about it?
|=20
| I have pure academic interest in all that. I must say that rarely had
I
| the occasion to learn something more crunchy about the implementation
| of Haskell and FP than from the description of concrete solutions,
such
| as STG (and the implementation of Clean, and Appel's paper on the
imple-
| mentation of ML).
|=20
| Now, my white/bald hair tell me that the eval/apply model is something
| quite oriented towards strict evaluation paradigms, and I would enjoy
very
| much a thorough discussion of the implementation of laziness.
|=20
|=20
| Jerzy Karczmarczuk
|=20
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users@haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users