Re:What I Want from a Type System (2016)
by Symmetry on Monday July 01, 2019 @10:19AM
(#20325458)
And the weird thing is that it's almost trivial to create an equivalent of (.) in Haskell that's ordered in the more natural forward way and I really wish it was a standard. Though (.) itself does get rid of all those parenthesis.
[ Parent
| on HN ]
That would probably be the (&) operator, which is In the standard library
I was thinking more about composition than application. Thankfully, I just remembered that you can use Hoogle to search by type signature so I popped in (a -> b) -> (b -> c) -> a -> c and it directed me to (.>) which is exactly what I was thinking of in the flow package.
Flow seems like an interesting package to check out if I ever go and start using Haskell seriously.
Re:What I Want from a Type System (2016)
by cannabis_sam on Monday July 01, 2019 @04:01PM
(#20329174)
There is also >>> for left-to-right composition, which is in base.
My favorite is Elm, which has |> and <| for application, and >> and << for composition, in the intuitive directions. It makes it easy and natural to eta-reduce/expand, when you want to.