Our great sponsors
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
High-performance TypeScript compiler
Slightly related, there is TypeRunner which aims to rewrite a subset of TypeScript in C++
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
The compiler for ReScript.
Easy-to-use library that implements opaque types in TypeScript!
You can get close to that:
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.
On Not Drinking the FP Kool-Aid
6 projects | reddit.com/r/functionalprogramming | 27 Jan 2023
Data types with Negation
2 projects | reddit.com/r/ProgrammingLanguages | 16 Jan 2023
Anyone aware of Racket projects that are in need of contributors? I am experienced in PL design and have two months worth of spare time. I have never contributed to an opensource project before besides taureg.
7 projects | reddit.com/r/Racket | 7 Oct 2022
5 projects | reddit.com/r/functionalprogramming | 1 Jul 2022