[nosianu]

How is type annotation syntax a "step in that direction" of making an entirely new language??? They merely standardize on what is already there.