Typed Racket working for me lately <a href="https:&#x2F;&#x2F;www.classes.cs.uchicago.edu&#x2F;archive&#x2F;2014&#x2F;fall&#x2F;15100-1&#x2F;guide.html" rel="nofollow">https:&#x2F;&#x2F;www.classes.cs.uchicago.edu&#x2F;archive&#x2F;2014&#x2F;fall&#x2F;15100-...</a><p>But again no massive ecosystem of libraries to simply plug in so unsure if &#x27;secret weapon&#x27;. Also I have experienced the nightmare of trying to port non typed libraries to typed Clojure and falling into a rabbit hole of errors propagating. Haven&#x27;t had the same problem with Racket but ecosystem is not even close to Clojure so anecdotes worthless.