a big company-wide project? then static-checking with types is a must.

Guido beginning to work on types for python shows how types are necessary for big projects

though the current trend for languages seems to be converging, or everyone copying everyone else's?

pattern-matching? null-safety? exhaustive-enums/classes? lambdas?

if you squint a bit... the language-features are becoming more and more similar...