Is there any other mainstream language (especially strongly typed compiled) whose type system is as powerful (or at least close) as Typescript? It's difficult to like other languages type system after using Typescript.

• sorbet

  53 3,528 9.9 Ruby

  A fast, powerful type checker designed for Ruby

  

So to find things in a similar space, you need to look for languages with these sorts of constraints - so things like Sorbet for Ruby or pyright/pyre and you'll see similar and new ideas

• pyre-check

  24 6,698 9.9 OCaml

  Performant type-checking for python.

  

So to find things in a similar space, you need to look for languages with these sorts of constraints - so things like Sorbet for Ruby or pyright/pyre and you'll see similar and new ideas

• 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.

  

• sqlx

  145 11,892 9.2 Rust

  🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite. (by launchbadge)

  

Sqlx is a Rust database interface for querying various SQL database servers. You write your queries in the native syntax of whichever database you are working with. Sqlx uses procedural macros to connect to the database and get a query plan at compile time which it uses to infer the type of returned data, and the types of query parameters. It works very nicely for my workflow because I like to be able to write SQL queries directly, and I get all the benefits of accurate type checking without a code generation step.

Suggest a related project