3 ms·
Hejlsberg is an interesting example. Did he do the original typescript type system that was unsound or was that someone else and he cleaned up the mess?
by norir 3y ago
Hejlsberg is an interesting example. Did he do the original typescript type system that was unsound or was that someone else and he cleaned up the mess?
- sabellito 3y agoTypeScript's type system is, and it will always be, unsound by design [1]. Working with these constraints and still being able to deliver what they did is nothing short of incredible. They had the maturity and experience to ship something that wasn't Yet Another Copy Of Java's Type System, like Sorbet and Dart, for example. [1] https://www.typescriptlang.org/docs/handbook/type-compatibility.html#a-note-on-soundness https://www.typescriptlang.org/docs/handbook/type-compatibil...
- mavelikara 3y ago(Assuming this isn’t trolling) Yes, AFAIK, Hejlsberg did the original TS type system. He, from what I can tell, wanted to build a usable type system for JS than any theoretical soundness. He seems to have succeeded in that.