Re: [Haskell-cafe] Re: Type-level arithmetic

On Oct 12, 2007, at 19:42 , Dan Piponi wrote:

On 10/12/07, Brandon S. Allbery KF8NH 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] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH