>Static typing is safer (more compile-time checks) but more verbose No, explicit typing is more verbose. Static typing does not mean java. Many statically ty

>Static typing is safer (more compile-time checks) but more verbose No, explicit typing is more verbose. Static typing does not mean java. Many statically typed languages have type inference, and have for a long time. They are no more verbose than dynamically typed languages.