Formal Language Specification

[arslivinski]

As @kdy1 said, the most challenging part of trying to create a new TypeScript compiler is the lack of language specification.

I see the pragmatic choice of Go for this port as something that can be done NOW to deliver great performance gains. However, a complete rewrite using other approaches or other languages could deliver even greater performance. Having this specification would allow other type checkers to emerge.

Could this port be used as a starting point to create a formal specification for TypeScript, as the team will have to go through every part of the code base?