17 Mar
2011
17 Mar
'11
5:05 p.m.
I think we should have a wiki page somewhere which explains what all the various Haskell-related terms mean. Terms like "typing the knot" and "finally tagless". (Not to mention "Oleg rating"...)
I have created such a page: http://www.haskell.org/haskellwiki/Terms
Defining "unlifted type" without defining "bottom" probably isn't very helpful. (I'm sure there's already a wiki page for it though...)