Don't think it's practical/good to make people learn >>=, <$>, <*>, <|, <|* to decode JSON.
Alternative pragmatism:
Conversation
What power specifically are you concerned about lacking? The ability to define a function over unknown monads?
2
The ability to say
func fish<A, B, C, M : Monad>(f : A → M<B>, g : B → M<C>) → A → M<C>
1
Replying to
Sure. I don't think that having that power will particularly help win industry engineers over to a monadic parser proposal.
Replying to
The underlying problem is answering a “why” with a weakened version of an abstraction. Not the best argument to defend.
Replying to
Like there’s the “I can get rid of these if lets” moment or the “holy crap, ((→)r) is a monad” moment.
1
I get it. I just don't think it's the high-order bit at play here. I think the concepts are "too far from hand" and need priming.
1
Show replies