Rationale
Given that Clojure constrains import, it could infer/guess more about untyped method calls.
Plan
- Given
(.foo untyped-x ...)- See which imported classes have a
foomethod of matching arity - Compile one or more speculative typed calls
- if type guard fails, default to reflection
- See which imported classes have a
Issues
- Wait for new compiler
Labels: