I wouldn't hold the lack of a natural language specification against Typescript. Canonical open-source implementations work just as well in practice and tend to

I wouldn't hold the lack of a natural language specification against Typescript. Canonical open-source implementations work just as well in practice and tend to become de-facto standards: Microsoft's compiler is effectively a human- and computer-readable specification.