On Oct 12, 2007, at 19:42 , Dan Piponi wrote:
On 10/12/07, Brandon S. Allbery KF8NH <[EMAIL PROTECTED]> wrote:
He wants to write entire programs in the type system,
something like the crazies who write programs in C++ templates such
that template expansion does all the work at compile time
Crazies? :-)
http://homepage.mac.com/sigfpe/Computing/peano.html
I'm not sure it's entirely sane even in Haskell, but in C++ templates
it is definitely *not* sane. :)
--
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] [EMAIL PROTECTED]
system administrator [openafs,heimdal,too many hats] [EMAIL PROTECTED]
electrical and computer engineering, carnegie mellon university KF8NH
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
