An approach to optimizing TypeScript type checking performance

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

InfluxDB - Purpose built for real-time analytics at any scale.
InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  • zod

    TypeScript-first schema validation with static type inference

    Zod (and similar libraries) solve that last issue: https://zod.dev/

    You can, for example, declare your type and check at runtime if some object matches the type.

  • InfluxDB

    Purpose built for real-time analytics at any scale. InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.

    InfluxDB logo
  • ezno

    A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance

    There is a new type checker called Ezno that is written in Rust and is a lot faster [1].

    I have been tracking PRs like [2] that change the definitions to better be optimised by V8. But the effects are only ~30% and not the 50x that might be achievable by native.

    [1]: https://github.com/kaleidawave/ezno/actions/runs/10299707325

  • TypeScript

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

  • web

    Lightweight browser API bindings built around JS static interop. (by dart-lang)

    With WASM starting to become a thing we are no longer limited to just JavaScript and things that compile to or transpile to JavaScript.

    It’s early days there but with the JS ecosystem being the mess that it is I’m actively interested in finding alternatives to at least evaluate.

    One approach I’m enjoying so far is Dart which has two relevant compilers (I.e Dart to JS and Dart to WASM) but they have the advantage that you can just use Dart like normal which is a clear 10x improvement over writing either JS or TS and you only have to worry about the specific layers where you need to interop with JS code and you can wrap that up in really nice ways.

    For example here’s an example of Dart interacting with browser APIs: https://github.com/dart-lang/web/blob/main/example/example.d...

  • type-challenges

    Collection of TypeScript type challenges with online judge

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Fable: an F# to Dart compiler

    1 project | /r/dartlang | 26 Sep 2023
  • URGENT HELP NEEDED! Should I learn C#, ASP.NET and the new MAUI framework?

    1 project | /r/dotnet | 16 Jun 2023
  • What are some good YouTube channels for experienced devs?

    1 project | /r/ExperiencedDevs | 16 May 2023
  • Are there any good resources on reflection in Fable?

    2 projects | /r/fsharp | 24 Apr 2023
  • What is your way declare types for objects in TypeScript?

    1 project | dev.to | 3 Sep 2024

Did you konow that TypeScript is
the 2nd most popular programming language
based on number of metions?