On 2006-01-31, Ashley Yakeley <[EMAIL PROTECTED]> wrote: > Robert Dockins wrote: >> While cleaning up my home directory, I discovered some code I worked on >> a while ago which implements type level arithmetic. > > I know for the usual Peano representation of natural numbers, at least, > it's possible to represent addition and subtraction with a single class > with two fundeps (because classes represent relations between types > rather than functions on them). See ><http://haskell.org/haskellwiki/Peano_numbers>.
That's always seemed like such an ugly hack to me. If you use a digital representation, you can throw in at least one negative digit, and things just work. I really should write up and post my example of that using balanced base three on the wiki. -- Aaron Denney -><- _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
