Alternative typesystems for JS not mentioned

[Raynos]

There are further projects that are worth comparing

• JS++ ( https://www.onux.com/jspp/ ); It claims to be sound https://www.onux.com/jspp/getting-started#Type_Guarantees ; I have never found this project before myself ...

• Closure compiler ( https://developers.google.com/closure/compiler ) ; Supports jsdoc and does do some type checking

There are other previous attempts at sound type systems that have run into a dead end.

• JSig ( https://github.com/Raynos/jsig ) ; Incomplete project, attempted one approach at soundness and just abandoned.

• Infernu ( https://github.com/sinelaw/infernu ) ; Incomplete project, implemented in haskell, attempted soundness and mothballed.

The author of infernu has nice blog posts : https://noamlewis.wordpress.com/2015/01/20/introducing-sjs-a-type-inferer-and-checker-for-javascript/

[thecotne]

i don't want to add any of those in comparison tables but i am open to mention them in first section after ... in TypeScript by microsoft. before Besides those there is new kid ...

• JS++ is not js
• Closure compiler is basically uglify pretending to be type checker :D
• JSig and Infernu are dead as i know and never got traction

feel free to send PR

[thecotne]

also if we mention compile to js projects then there are bunch of those

• https://nim-lang.org/
• https://haxe.org/
• https://reasonml.github.io/
• https://bucklescript.github.io/
• https://www.scala-js.org/
• https://github.com/ghcjs/ghcjs
• https://www.purescript.org/
• https://elm-lang.org/
• https://dart.dev/
• https://kotlinlang.org/

and this is not all see

• https://github.com/jashkenas/coffeescript/wiki/List-of-languages-that-compile-to-JS
• https://smurfpandey.github.io/altjs/

[unlight]

There is also https://github.com/getify/TypL looks like similar to Hegel

[thecotne]

@unlight does not look similar to hegel to me. it has very weird template tag based syntax and it's a type linter with configurable rules of type system