[Haskell-cafe] Re: Type-level arithmetic

Dan Piponi dpiponi at gmail.com
Fri Oct 12 19:42:04 EDT 2007

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? :-)

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...

More information about the Haskell-Cafe mailing list