GitHub - JSMonk/hegel: An advanced static type checker

Unfortunately, the project is closed and will not be developed anymore. The reasons are described here. Getting Started | Documentation | Gitter Chat Hegel is a type checker for JavaScript with optional type annotations and preventing runtime type errors. No Runtime Type Errors. Hegel has a strong type system and soundness checks. This means that he finds any TypeError that may be thrown in runtim

[efcl]

JavaScriptで書かれたJavaScriptの型チェッカ。 型アノテーションを書くことで型チェックを行える。TypeScriptとは異なり静的な型チェックが通った場合に実行時エラーが出ないような実装をしている。ライブラリの型チェックに