The plague of dynamic type checking

I am legitimately unsure why would anyone intentionally use dynamic over static type checking. It's almost as if they don't value safety nor speed.

dynamic type checking allowed to escape verbosity of statically typed languages without inference, and it's a decent tradeoff when you want to have customizable behavior without bloating your're are binary size (runtime speed is the tradeoff). static languages are getting better now and type inference is going mainstream so I'm pretty sure that it's going to become a bigger trend but let's not kid ourselves: the C/Java/Pascal way tended to be tedious while the Haskal way was too focused on academic category theory to appeal to the common programmer. things might have been different if OCaml started off with a better license and learning materials in non-surrendery languages but it was how it was and you have to live with that.

I just wish there was a lithp with optional static typing that is less tedious to use thran tRacket.