[Haskell-cafe] Hello and type-level SKI

Tslil Clingman tslil.clingman at gmail.com
Sat Sep 13 10:43:10 UTC 2014


Right, so to be fair a more accurate description would have been: `It
can be shown that GHC with numerous extensions gives rise to a type
system which is Turing Complete', my mistake. I certainly didn't mean to
mislead anyone.

All too often I conflate Haskell (2010 or so) and the capabilities of
GHC -- this is a trap which ensnares many, I suspect.

-- 
Yours &c.,
Tslil
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 818 bytes
Desc: not available
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140913/cd930e5f/attachment.sig>


More information about the Haskell-Cafe mailing list