3 ms·
Imho standardizing the syntax is enough and this is what https://github.com/tc39/proposal-type-annotations https://github.com/tc39/proposal-type-annotations doe
by silverwind 2y ago
Imho standardizing the syntax is enough and this is what https://github.com/tc39/proposal-type-annotations https://github.com/tc39/proposal-type-annotations does.
The type checker is immensely complex and should be left out so that other type checkers can be developed, e.g. similar to how it's for Python today.
- spankalee 2y agoThat 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.