I agree! I’m learning Clojure at the minute and it’s just confirming how important static typing is to me now after TS.

I’m using and I get that it’s powerful but TS just hits that sweet spot of being immensely useful with out getting too much in the way.

For what it’s worth, having gone the opposite direction (dynamic imperative langs -> clojure -> typescript), I highly recommend sticking with it for at least a little while. The dynamic type system must surely be painful if you’ve already enjoyed a good static type system, but getting a good instinct for how rarely code needs to be stateful and how easily maintainable even complex FP can be... really pays off when you come back to a language like TS.