[Haskell-cafe] Natural Numbers: Best implementation?
Brandon S. Allbery KF8NH
allbery at ece.cmu.edu
Fri Mar 13 11:15:27 EDT 2009
On 2009 Mar 13, at 4:25, Wolfgang Jeltsch wrote:
> Am Freitag, 13. März 2009 04:53 schrieb Brandon S. Allbery KF8NH:
>> On 2009 Mar 12, at 22:54, Mark Spezzano wrote:
>>> I was wondering what the best way to implement Natural number would
>>> be. Is there a package which already does this?
>> type-level on Hackage.
> I think, the original poster wanted value-level naturals, not type-
My (possibly incorrect) understanding was that value-level naturals
required runtime range checks, whereas type-level naturals allowed you
to validate them at compile time. I thought I'd mentioned that in my
response, contrasting type-level naturals with value-level newtypes
and other implementations.
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university KF8NH
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 195 bytes
Desc: This is a digitally signed message part
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20090313/d772a030/PGP.bin
More information about the Haskell-Cafe