Type Level "Application" Operator

[Jeffrey Brown]

+1! Readability improvements are wonderful.

On Tue, Nov 1, 2016 at 11:31 PM, Jon Purdy <evincarofautumn at gmail.com>
wrote:

> +1 from me, if only as a nice-to-have—it would be good to flesh out some
> standard type operators in general.
>
> On Nov 1, 2016 4:14 PM, "Elliot Cameron" <eacameron at gmail.com> wrote:
>
>> Folks,
>>
>> Has there been a discussion about adding a type-level operator "$" that
>> just mimics "$" at the value level?
>>
>> type f $ x = f x
>> infixr 0 $
>>
>> Things like monad transformer stacks would look more "stack-like" with
>> this:
>>
>> type App = ExceptT Err $ ReaderT Config $ LogT Text IO
>>
>> Elliot Cameron
>>
>> _______________________________________________
>> Libraries mailing list
>> Libraries at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>>
>>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
>


-- 
Jeff Brown | Jeffrey Benjamin Brown
Website <https://msu.edu/~brown202/>   |   Facebook
<https://www.facebook.com/mejeff.younotjeff>   |   LinkedIn
<https://www.linkedin.com/in/jeffreybenjaminbrown>(I often miss messages
here)   |   Github <https://github.com/jeffreybenjaminbrown>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20161102/7bfd6268/attachment.html>