You consider typing to be an over head? Do you really reuse variables within a scope to refer to different types? I feel like that would produce confusing to read and use code.<p>IMO dynamic typing is hard to work with and slows things down. &quot;Auto-typing&quot; or type inference like in Swift, Kotlin, or Dart is the most amazing thing ever. It gives you the safety of static types and the &quot;speed&quot; of coding of dynamic types.