In addition to the (extremely pertinent) answer above, there are advantages to dynamically typed languages in some cases, so it shouldn’t be surprising/confusin

In addition to the (extremely pertinent) answer above, there are advantages to dynamically typed languages in some cases, so it shouldn’t be surprising/confusing that sometimes “dynamic typing plus optional type checking with zero run-time overhead” is the best (or at least very good) of both worlds.