This bit raises the question, is #1 being caused by #2 and #3?

--------------------------------------------

The problems that we have hit with using Typed Closure are

1.) slower iteration time when programming,

2.) core.typed not supporting the entire Clojure programming language

3.) using third-party libraries that have not been annotated with core.typed annotations

--------------------------------------------

If #1 is caused by #2 and #3 then presumably #1 will get better with time. But if #1 is caused only by typing itself, then it sounds like, for them, using types was a bit of premature optimization.

It does raise the question, is it possible to create a type system that does not slow a project down?