Typed Clojure: From Optional to Gradual Typing
summary
Extensions claim to promote Typed Clojure from optional to gradual typing by adding runtime checks and a type ripple that auto-checks requires and feeds inferred types into the compiler. Real metrics show 87 namespaces at CircleCI with 105 Java interactions ~300 hmaps and 11 multimethods yet only 20% get checked. Implemented automatic type hints and ripple behavior works; runtime language mediator via proxying is planned but blocked by final JVM classes and requires a proxy strategy.
AI-written summary · about
