[Haskell-cafe] Decimal type-level arithmetic.
sergueyz at gmail.com
Tue May 31 23:10:28 CEST 2011
2011/6/1 Henning Thielemann <lemming at henning-thielemann.de>:
> On Wed, 1 Jun 2011, Serguey Zefirov wrote:
>> I would like to present my version of type arithmetic with decimal
>> encoding: http://thesz.mskhug.ru/svn/hhdl/TyleA.hs
> How does it compare to
My version is slightly simpler to use, I think, because type-level
uses functional dependencies: "Type-level functions are implemented
using functional dependencies of multi parameter type classes."
I use type families.
More information about the Haskell-Cafe