[inglor]

The issue has always been that people start these projects, see just how big/hard checking the whole of TypeScript is and don't finish it.

It would be awesome if you finished it :]

[specialist]

Naw. Projects like these are useful reninders that 25 years of mitigation easily save a few weeks of initial design.

[postalrat]

Perfected developers don't need two weeks of initial design or any mitigation.

[pharmakom]

does TS even have a spec? I thought the type checking rules are basically "whatever tsc does"

[jillesvangurp]

There is a specification but it's fallen a bit behind the implementation. Of course the implementation is open source, pretty well documented and covered in lots of tests. So, you could think of that as a living specification.

Some pointers from this stackoverflow discussion:

https://stackoverflow.com/questions/52148566/is-the-typescri...

[pjmlp]

Which means being always behind. I rather have the Typescript team improve the experience, on their bootstrapped compiler.

[presentation]

Yeah, stc seems to be just using the TypeScript test suite as a proxy for completeness. Pretty far along, but unclear when it will actually be usable.

https://stc.dudy.dev/blog/this-week-in-stc/week-23