[Haskell-cafe] An idea on extensible effects (anonymous record)

[Brandon Allbery]

On Mon, Nov 21, 2016 at 10:30 PM, winter <drkoster at qq.com> wrote:

> To illustrate, first i want to create a class like:
>
> class Has a t where
>     get :: t -> a
>

Does this differ significantly from fclabels or the upcoming
OverloadedRecordFields extension? (Aside from being purely type driven,
which has problems in your example if you compose a second Int into it.)


-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20161121/24168e5d/attachment.html>