Skip to end of metadata
Go to start of metadata


Given that Clojure constrains import, it could infer/guess more about untyped method calls.


  • Given (.foo untyped-x ...)
    • See which imported classes have a foo method of matching arity
    • Compile one or more speculative typed calls
      • if type guard fails, default to reflection
  • Auto-method wrapper generation based on above
    • (map .foo ...)
    • caching?


  • Wait for new compiler
  1. Sep 09, 2012

    not sure what "caching?" means above but I have some changes to clojure that cause it to generate code that caches reflector objects (Methods) for reflective calls.