IMO adding static types is good step but it sort of misses the point of modern type systems. The good thing about types is not that you can just annotate (or

IMO adding static types is good step but it sort of misses the point of modern type systems. The good thing about types is not that you can just annotate (or not with good inference not) and validate that some type is what you expect it to be. It's that with a proper type system you can develop better abstractions.