News for hackers. Stuff that matters.

A comment on Bad TypeScript Habits. Parent comment

Re:Bad TypeScript Habits by dimitrios1 on Tuesday February 02, 2021 @09:05PM (#26009748)
But it is the fault of TypeScript for having such an obvious path for falling into that trap. Part of what it means to have TypeScript code is to have typing files.

Part of good language design is attempting to minimize bad programming habits. In this case, a language with a HM type system would avoid the issue all together, while affording the same productivity gains from having static types.

[ Parent | on HN ]
Re:Bad TypeScript Habits by eyelidlessness on Tuesday February 02, 2021 @11:20PM (#26010571)
This isn’t actually a fault of TS, it’s an explicit goal. They design the type system not to guide usage but to make existing usage explicit and trustworthy.

The places where the type system encourage rabbit holing are almost always where bad types/APIs are already prevalent. Where you’re starting at the type level and don’t have an inclination to allow all manner of dynamic nonsense it’s not that different from types in an ML-family language.

[ Parent | on HN ]