HyperTerm – JS/HTML/CSS Terminal

Re:HyperTerm – JS/HTML/CSS Terminal by johnfn on Friday July 15, 2016 @07:15PM (#12104397)

* We've decided to use JavaScript because the community is there. Go ahead and write an IDE in Haskell - have fun rewriting all the libraries that already exist in JavaScript and soliciting for open source contributions when a tiny fraction of all programmers can understand it.

I love Haskell and lisp, but you have to face the facts.

* TypeScript is actually a good language, and gives pretty darn good correctness guarantees.

* Your benchmark does not test against VSCode, which is much faster than Atom.

[ Parent | on HN ]

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 ]