Clojure offers static typing as a library.
Is that 'core.typed' ?
Does it introduce incompatibilities with third-party libraries?
typed Clojure has both Clojure and ClojureScript implementations, so it's not tied to the JVM https://github.com/typedclojure/typedclojure