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

Brandon Allbery allbery.b at gmail.com
Tue Nov 22 03:32:54 UTC 2016

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>

More information about the Haskell-Cafe mailing list