18 Feb
2009
18 Feb
'09
5:35 a.m.
On Wed, Feb 18, 2009 at 2:12 AM, Lennart Augustsson
Also, if you are using ghc you can turn on the extension that allows undecidable instances and make the type system Turing complete.
<snark>And you get the additional pain of a potentially nonterminating compiler without any of the nice type-level syntax that you really want when writing code at that level</snark> Seriously, I love undecidable instances, but there's gotta be a way to make type-level programming less painful. GHC team: please give us type-level integers that don't suck! If I ever have to see S (S (S (S Z))) again it's too soon. -- ryan