[Haskell-cafe] Re: Type-level arithmetic

[Brandon S. Allbery KF8NH]

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

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