The TypeScript Experience

• TypeScript

  1,318 98,461 9.9 TypeScript

  TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  

If the unsatisfaction is relatively common, is it correlated to the TypeScript's unsoundness, as explained above or the unsoundness is not an issue after all?

• infernu

  2 337 0.0 Haskell

  Type inference and checking for a safer JavaScript.

Or maybe a sound type system can only be achieved either by limiting JavaScript or with a different language that compiles to JavaScript?

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• Hegel

  15 2,109 0.0 JavaScript

  Discontinued An advanced static type checker

Can TypeScript be improved in this respect? Or, in broader terms, can a superset of JavaScript support a sound type system without becoming overly complicated?

Suggest a related project