1. 15
  1. 5

    This looks like it’s trying to be a “complete” solution over TypeScript’s 80% solution. I like the better type inference and especially the typed errors, but the focus on correctness will probably impair its chances at being successful.

    1. 3

      There are rough edges as it is still in development, but the TypeScript-but-sound goals of the project make it very interesting from my point of view.

      It even supports using the TS type definitions (with some limitations), which could allow leveraging all the work that has gone into typing JS libraries.