Ideal usage of applicatives would be a Lisp-style (map f x1 x2 ... xn) - hackage.haskell.org/package/base-4 is inductive mess req'd by static types
Conversation
Still worth it for the types, mind you. But damn it confuses people
1
1
The original applicative paper proposed idiom brackets for this reason, and some languages like Idris support it natively.
1
2
Compare `[| f x y z |]` to `f <$> x <*> y <*> z` or `liftA3 f x y z`.
1
3
I think this deserves/needs syntax. :) The paper has more complex, and motivating, examples: strictlypositive.org/IdiomLite.pdf
1
1
Oh yeah, not complaining about idiom brackets, more about `liftA3` :)
1
Show replies