Proposal: Add Peano numbers to base

[Alois Cochard]

On 11 January 2016 at 18:45, Henning Thielemann <
lemming at henning-thielemann.de> wrote:

>
> On Mon, 11 Jan 2016, M Farkas-Dyck wrote:
>
> I have seen these redefined many times now. Examples:
>>
>> https://hackage.haskell.org/package/numericpeano-0.2.0.0/docs/Numeric-Peano.html#t:Nat
>>
>> https://hackage.haskell.org/package/numeric-prelude-0.4.2/docs/Number-Peano.html#t:T
>>
>> https://hackage.haskell.org/package/type-fun-0.0.1/docs/TypeFun-Data-Peano.html#t:N
>>
>> https://hackage.haskell.org/package/number-0.1.1.0/docs/Data-Number-Peano.html#t:Nat
>>
>> https://hackage.haskell.org/package/Peano-0.0.4/docs/Data-Peano.html#t:Peano
>>
>
> Type-level Peano number are also contained in:
>
> https://hackage.haskell.org/package/tfp-1.0.0.2/docs/Type-Data-Num-Unary.html
>
> and data-level Peano numbers in this playground module:
>   http://code.haskell.org/~thielema/htam/src/Number/PeanoNumber.hs
>
>
> I'd prefer that 'base' shrinks rather than grows. If we find that people
> like one implementation most, you could bless it by adding it to the
> Haskell platform.
>
>
Same here, -1 on adding a particular implementation into base.


> You might add a comparison of the packages to the Wiki page:
>   https://wiki.haskell.org/Peano_numbers
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>



-- 
*Λ\ois*
http://twitter.com/aloiscochard
http://github.com/aloiscochard
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20160112/f6104290/attachment.html>