Joker is using some basic type checking on arguments which is nice. Could it also use return types, so it could infer that (inc (map inc nil))
would be wrong?
I've thought about this in the past but never got around to actually implementing it. I think this could work. I'll play with the idea when I have time.