> Static languages unfortunately don't save you from that. While you still can make a static language that is confusing, it's a lot harder... I challenge you t

> Static languages unfortunately don't save you from that. While you still can make a static language that is confusing, it's a lot harder... I challenge you to write a function signature in Rust that is both: 1) Useful 2) As opaque as the python signature above. > You find automatically inferred types A minority of static languages do type inference in function signatures. I think it's a bad idea for exactly the same reason the python code is bad. On the other hand, every dynamic language allows you to omit any information about a type signature.