[Haskell-cafe] Natural Numbers: Best implementation?

[Brandon S. Allbery KF8NH]

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

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...
Name: PGP.sig
Type: application/pgp-signature
Size: 195 bytes
Desc: This is a digitally signed message part
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20090313/d772a030/PGP.bin