Don't think it's practical/good to make people learn >>=, <$>, <*>, <|, <|* to decode JSON.
Alternative pragmatism:
Conversation
one q, is type checks done on method declaration? (does a: A?, b: B?, c: C? assigns argument only if type matches?)
1
Replying to
Not on declaration but at callsite.
Replying to
so it gets types from function (first) argument, and checks against other arguments? (sorry if it’s dumb question)
1
It resolves the implementation by looking holistically at all types involved.
3
Show replies

