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

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

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

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...

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

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