Clojure's gradual typing system is heavily inspired by Typed Racket, which preceded it.

https://twitter.com/ambrosebs/status/262387983339098113

For more information, see Ambrose Bonnaire-Sergeant' dissertation:

A Practical Optional Type System for Clojure

https://cloud.github.com/downloads/frenchy64/papers/ambrose-...