Since that paper, there&#x27;s been some convergence in this area.  Explicitly typed function parameters and inferred local variables now seem to be the way things are going.  Go and Rust take that route. It&#x27;s been retrofitted to C++, with &quot;auto&quot;. Python seems to be headed that way, although the proposal is to have type declarations that are not checked for backwards compatibility reasons, which creates its own problems.