For a language at the "top of the abstraction continuum" (Paul Graham), Lisp functions tend to be disappointingly concrete
Conversation
ie, just for this applicative map, Clojure needs an ISeq - you must define first, next, more, cons, count, empty, equiv, seq
4
4
The category theory view provides a unifying and simplifying discipline; the hacker way yields endless special cases
1
8
27
On the other way, Lisp's limited applicative probably has a much lower cognitive burden. There isn't a cottage industry of "map" tutorials
1
4
Is "functor with arbitrary arity" such a difficult concept? Why do all the applicative tutorials come out so tortured and complicated?
1
5
11
Wow, that's actually a useful way to think of it. Applicative has always been pretty magical/mysterious to me.
2
4
It's precisely what it is, and precisely how it's used
1
3
Exactly! I probably need to use it more to really get my head around it.
1
3
I find the fact that monads force linearization where as applicatives don't interesting, but haven't really done the work to grok that yet.
1
3
a -> f b can't be run without first having an a; f (a -> b) gives you options
1
10
Replying to
Yeah that's what I was thinking, but that's the most succinct description I've come across. Thanks!

