[swannodette]

Clojure's type hints are only about Java interop and performance, and pretending otherwise is not a good idea. They aren't nearly rich enough to do the things that Typed Clojure does - think about less trivial examples like type checking heterogenous maps.

[ryanbrush]

Ah, I didn't realize that core.typed could deal with rich data structures like that. That's actually pretty amazing.