Our great sponsors
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
The most recent exploration of this, that I'm aware of is HVM (another intermediate language / runtime), although this one is not actually based on the lambda calculus, but on the interaction calculus.
Depending on what you mean by practical it already is! https://github.com/HigherOrderCO/Kind HVM was developed to be an efficient backend for the Kind language from the same folks
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.
Related posts
- First (1/5) steps with HVM, A massively parallel, optimal functional runtime in Rust
- [Kind-Lang] Getters and Setters done right in a pure functional language
- Kind: A lambda-calculus based pure programming language
- Idris2: A purely functional programming language with first class types
- How to Keep Lambda Calculus Simple