News for hackers. Stuff that matters.

A comment on HyperTerm – JS/HTML/CSS Terminal. Parent comment

Re:HyperTerm – JS/HTML/CSS Terminal by stymaar on Saturday July 16, 2016 @04:23AM (#12105671)
> * TypeScript is actually a good language, and gives pretty darn good correctness guarantees.

TypeScript's main focus is IDE tooling, not correctness. Here is an example on how generics are unsound in TypeScript: http://djcordhose.github.io/flow-vs-typescript/2016_hhjs.htm...

If you want to write JavaScript with a type system focused on soundness, you should give [flow](https://flowtype.org/) a try.

[ Parent | on HN ]
Re:HyperTerm – JS/HTML/CSS Terminal by johnfn on Saturday July 16, 2016 @01:42PM (#12107165)
I don't think that anyone argued TypeScript is 100% sound, nor is that a meaningful goal to hit. I find TS to be a solid language that gives me reasonable confidence in my code. (The tooling is also great!)
[ Parent | on HN ]