![[Home]](http://www.bayleshanks.com/cartoonbayle.png)
ek 1 day ago
| link |
Unfortunately this contribution is inhibited from being significant in value by the fact that TypeScript? doesn't support full gradual typing [0] and has an intentionally unsound type system [1].
[0] http://siek.blogspot.com/2012/10/is-typescript-gradually-typed-part-1.html
[1] https://typescript.codeplex.com/discussions/428572
reply
brandonbloom 1 day ago
| link |
Accidentally unsound is a problem, but intentionally unsound just means that they balanced soundness against other design criteria such as completeness, complexity, and tooling capability, then decided that they were willing to trade soundness for other things.
For onlookers, here's a lucid explanation of soundness and completeness in type systems: http://eschew.wordpress.com/2009/08/31/sound-and-complete/
The author of that article argues that soundness is more important than completeness, but concedes that there are other ways to view the world too.
The bottom line is that most ad-hoc lint tools are both unsound and incomplete, but they are still useful for finding bugs!
reply
--
