Adding Fixed Point Data Types to base

[davean]

As a user of both mustache and aeson, I would be very happy for them to add
a dependency on free. It seems like the ideal solution to me.

On Thu, Oct 20, 2016 at 12:02 PM, Iavor Diatchki <iavor.diatchki at gmail.com>
wrote:

> I am against extending `base`, as the functionality is already available
> outside it---a smaller `base` is easier to maintain, and gives us more room
> to evolve and change things.  If the `free` package is considered "too
> heavy" of a dependency, then perhaps that package should be split into
> multiple smaller packages that provide the required functionality.
>
> -Iavor
>
> On Tue, Oct 18, 2016 at 8:34 AM, Andrew Martin <andrew.thaddeus at gmail.com>
> wrote:
>
>> The advantages I outlined were:
>>
>> The advantage this offers is that Free and Cofree would be able to
>> enjoy a greater number of typeclass instances provided libraries
>> across the ecosystem. As it stands, adding the somewhat heavy `free`
>> dependency is not a good choice for libraries like `aeson`,
>> `mustache`, and `hashable`. In the case of Fix, the ecosystem
>> currently lacks a canonical library that provides it
>> (recursion-schemes and data-fix both offer the same definition though,
>> and various tutorials all define it the same way). It could benefit
>> from the new instances as well.
>>
>>
>>
>> On Mon, Oct 17, 2016 at 2:31 PM, John Wiegley <johnw at newartisans.com>
>> wrote:
>>
>>> >>>>> "AM" == Andrew Martin <andrew.thaddeus at gmail.com> writes:
>>>
>>> AM> I would gladly help with any of the work that needs to be done to
>>> make
>>> AM> this happen. I believe that Fix and Free (and Cofree to a lesser
>>> extent)
>>> AM> have proved themselves over years of use in the ecosystem. I would
>>> AM> appreciate any feedback or thoughts that others have on this topic.
>>>
>>> What advantage is there to having them in base, rather than living in the
>>> 'free' package as they do now?
>>>
>>> --
>>> John Wiegley                  GPG fingerprint = 4710 CF98 AF9B 327B B80F
>>> http://newartisans.com                          60E1 46C4 BD1A 7AC1 4BA2
>>>
>>
>>
>>
>> --
>> -Andrew Thaddeus Martin
>>
>> _______________________________________________
>> Libraries mailing list
>> Libraries at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>>
>>
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20161020/4f7a7580/attachment.html>