News for hackers. Stuff that matters.

A comment on TypeScript 5.0. Parent comment

Re:TypeScript 5.0 by iainmerrick on Thursday March 16, 2023 @08:45PM (#35191164)
One thing I wonder is whether a “strict mode” subset of TS could be compiled to efficient code. Disallow “any” and most of the dynamic and meta programming features of JS so it’s fully typesafe.

The type system is really nice, so even without being able to use the full range of JS hacks and escape hatches, I think it’d still be a nice language to work in.

[ Parent | on HN ]
Re:TypeScript 5.0 by awestroke on Friday March 17, 2023 @04:40AM (#35194660)
TS by itself is not fully sound which could complicate such a compiler.
[ Parent | on HN ]
Re:TypeScript 5.0 by iainmerrick on Friday March 17, 2023 @05:30AM (#35194933)
Yes, those sorts of loopholes would need to be closed. I was imagining a subset of the language, but there might need to be some breaking changes to cover cases like that. Maybe it would end up being so different that it would be an entirely different language? I don't know! But it's hard for me to accept that non-soundness in TS is necessary for TS itself rather than just an unfortunate consequence of the JS language and library that it has to build on top it.
[ Parent | on HN ]