Am I the only one who feels like dynamically typed #programming languages are becoming obsolete? Type systems are more expressive and type inference is more ergonomic, so there seems to be few arguments in favor of weaker typing.