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.

>>4

dependent types

Dependent types live only during compile time in every language that I am aware of supporting them.

generics/polymorphism

How is this in any way worse than dynamic type checking in terms of binary size?

because more options = the lithp way

Sure, but what is the point? After all static type checking is superior in every way.

>>5
I think that the issue here is that Typed Racket does not support higher kinds so they end up resulting to dirty hacks like this.