[Haskell-cafe] Early feedback on a GHC proposal
Richard Eisenberg
rae at cs.brynmawr.edu
Tue Jan 24 22:16:39 UTC 2017
I like it.
My use case for overloaded application is from singletons, where I want users to be able to apply something of type Sing (x :: k1 -> k2). Right now, they must call `applySing` to do the application.
Thanks for writing it up!
Richard
> On Jan 24, 2017, at 3:07 AM, Chris Smith <cdsmith at gmail.com> wrote:
>
> Anyone want to offer some early feedback on a GHC proposal I'm working on? It's called OverloadedApplication. Current version at https://github.com/cdsmith/ghc-proposals/blob/overloadedapplication/proposals/0000-overloaded-application.rst <https://github.com/cdsmith/ghc-proposals/blob/overloadedapplication/proposals/0000-overloaded-application.rst>
>
> I am proposing something a bit more ambitious than what I need, because the proposal as written seems more likely to be broadly useful. The bit that I actually need is about desugaring of infix operators in the presence of RebindableSyntax. I'd love to get early thoughts from anyone who has a solid use case for the rest of the proposal. It feels like a thing that *ought* to be useful, but I'm drawing blanks at the moment.
> _______________________________________________
> 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/20170124/f7f47d03/attachment.html>
More information about the Haskell-Cafe
mailing list