[Haskell-cafe] Partial instance of a class

[Daniel Peebles]

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/20180226/6af5c801/attachment.html>