I think the overhead here is the programmer time spent specifying the types in a program, which is why everyone loves type inference.<p>This is a common communication error: when you read &quot;typing&quot; you think &quot;static type system&quot;, but when the parent wrote &quot;typing&quot; it almost certainly meant &quot;explicit type annotations&quot;.