[Haskell-cafe] type-level programming support library

spoon spoon at killersmurf.com
Tue Mar 31 10:13:29 EDT 2009

On Mon, 2009-03-30 at 20:54 +0100, Lennart Augustsson wrote: 
> I wasn't questioning the utility of John's library.
> But I saw him mentioning unary numbers and I think it's a mistake to
> use those for anything practical involving even moderately sized
> numbers.

Also agreed!  tfp supports rational arithmetic through its decimal
numbers, and in my opinion, a new library should build upon tfp, adding
features like the regular prelude H.O.F.s until there is a prelude for

- John Morrice

More information about the Haskell-Cafe mailing list