4 ms·

'we can "inject" normal functions in to them' As an aside, I think I wish Arrow did not have `arr` (particularly after watching Conal's "compiling Haskell to h

'we can "inject" normal functions in to them' As an aside, I think I wish Arrow did not have `arr` (particularly after watching Conal's "compiling Haskell to hardware" talk).

tel 11y ago
I understand it's convenience and importance in arrow notation... but it definitely feels like too large a jump! Maybe in another 10 years we'll have the Profunctor-Strong-GArrow-Arrow Proposal to fix up that superclass hierarchy. It's also worth noting that some significant component of arrow notation would survive eliminating `arr` as well as there being an "internal logic"-style syntax for GArrows I've seen somewhere or another.
- tome 11y ago
  What you'd lose is the ability to apply functions inside arrow notation.
  - tel 11y ago
    Yeah, or at least be reduced to some amount of tuple flipping depending on instantiating some other auxiliary classes.