Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migrated to Confluence 4.0

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 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?

Issues

  • Wait for new compiler