Sorry, I&#x27;ve not used Typed Racket so I can&#x27;t comment. I&#x27;ve only played around a little with Racket itself, although I&#x27;ve used various Schemes in anger (and more Emacs Lisp than I&#x27;d like!)<p>One cultural issue, rather than a technical one, is that the whole of Haskell is strongly typed, lazy and pure; there&#x27;s no getting away from it, so every idiom, library and API must take them into account. I imagine Typed Racket&#x27;s ability to mix and match features will result in more &quot;conservative&quot; code (ie. choosing the type system to match a known approach, rather than inventing a new approach to fit the type system).