That doesn't standardize the syntax, only types-as-comments. It would have to standardize some delimiters for type expressions, but that's it. I do think that

That doesn't standardize the syntax, only types-as-comments. It would have to standardize some delimiters for type expressions, but that's it. I do think that the semantics should be standardized too, otherwise you have non-interoperable types. The goal should be that you can use two libraries together without having to make sure they use the same type-checker.