Thanks for the references! I will take a look.
-BenRI
On 8/4/22 9:22 PM, David Christiansen wrote:
QUESTION 2: if my quick scan is correct, none of the papers
mention the GHC technique of determining untouchability by
assigning "levels" to type variables. Is there any written paper
(outside the GHC sources) that discusses type levels?
It is disgracefully undocumented, I'm afraid. Sorry. Didier Remy
used similar ideas, in some INRIA papers I think.
(I'm first answering now because I wasn't sure until this comment that
it was the same concept of levels that I know of)
A couple of resources do exist for learning this idea. There's a quite
accessible description of the basic idea in Peter Sestoft's book
"Programming Language Concepts" from about ten years ago. A collection
of fancier and more efficient versions are laid out by Oleg Kiselyov
here: https://okmij.org/ftp/ML/generalization.html . A good source
back to Remy is this one: https://hal.inria.fr/inria-00077006/document
/David
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
