Re:What I Want from a Type System (2016)
by jose_zap on Monday July 01, 2019 @01:28PM
(#20327642)
That would probably be the (&) operator, which is In the standard library
[ Parent
| on HN ]
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.