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.

1. sorbet

   1 59 3,666 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

2. CodeRabbit

   coderabbit.ai featured

   CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

   

3. pyre-check

   2 24 6,950 10.0 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

4. sqlx

   3 151 14,298 9.4 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