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.

>>3
continuing on tRacket in >>4, it's not just macros but all variadic functions with non-uniform types: just look at how the type definition in fold-left looks https://docs.racket-lang.org/ts-guide/types.html#%28part._.Non-.Uniform_.Variable-.Arity_.Functions%29