[Haskell-cafe] Partial instance of a class

Clinton Mead clintonmead at gmail.com
Tue Feb 27 04:07:21 UTC 2018


Also check out my Freelude package which allows for the definition of
restricted arrows like you’ve mentioned:

https://hackage.haskell.org/package/freelude

On Tue, 27 Feb 2018 at 2:49 pm, Daniel Peebles <pumpkingod at gmail.com> wrote:

> Also possibly interesting and relevant is Adam Megacz's fascinating (but
> sadly abandoned) work on generalized arrows and hetmet programming:
> http://www.megacz.com/berkeley/garrows/
>
> On Mon, Feb 26, 2018 at 4:20 PM, Clinton Mead <clintonmead at gmail.com>
> wrote:
>
>> I’ve implemented a drop in replacement enum class here, which solves your
>> issue among other things:
>>
>> https://hackage.haskell.org/package/generic-enum
>>
>> If it doesn’t have some of the instances you require feel free to send me
>> a pull request.
>>
>> On Tue, 27 Feb 2018 at 8:12 am, Will Yager <will.yager at gmail.com> wrote:
>>
>>> To avoid the hellish nightmare of Java’s
>>> UnsupportedOperationException-riddled ecosystem, I think we should *very
>>> strongly* discourage partial implementations of typeclasses as much as
>>> humanly possible. If a type doesn’t fit the typeclass, please don’t pretend
>>> it does.
>>>
>>> If it turns out that our typeclasses are divided along bad semantic
>>> boundaries (which they clearly are in some cases), we should fix that
>>> instead of turning the typeclass landscape into a minefield.
>>>
>>> —Will
>>> _______________________________________________
>>> Haskell-Cafe mailing list
>>> To (un)subscribe, modify options or view archives go to:
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>>> Only members subscribed via the mailman list are allowed to post.
>>
>>
>> _______________________________________________
>> Haskell-Cafe mailing list
>> To (un)subscribe, modify options or view archives go to:
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>> Only members subscribed via the mailman list are allowed to post.
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180227/8c5d64cd/attachment.html>


More information about the Haskell-Cafe mailing list