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
Not on declaration but at callsite.
1
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
ok, last q, how will compiler know if json["id"] returns Int?
1
Replying to
It can infer the return type because User.create() takes an Int in its first argument (so the only assignment for A is Int)