You should check out F#! it has amazing type inference (even for functions in some simple cases, although I prefer my functions with types). The type system is

You should check out F#! it has amazing type inference (even for functions in some simple cases, although I prefer my functions with types). The type system is still strongly typed and static. So it looks Pythonic, and behaves C#-ic. https://fsharpforfunandprofit.com/posts/type-inference/ https://fsharpforfunandprofit.com/posts/type-inference/