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 Having switched from C++ to Haskell (at least in my spare time) I thought I'd escaped that kind of type hackery but it seems to be following me... -- Dan _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
