The Val Programming Language

This page summarizes the projects mentioned and recommended in the original post on /r/rust

Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
  • hylo

    The Hylo programming language

  • jakt

    The Jakt Programming Language

    Looks theoretically interesting, let's see if they can deliver in practice. Of all the Rust alternatives this and Jakt are among the most promising IMHO. However, Jakt is more of a community driven project and is actually somewhat usable today.

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

  • arete

    Arete is an experimental programming language.

    Interesting that you ask about the dynamic system. One of our contributors has been building a gradually-typed version of our object model. I can't speak to how that question plays out in arete, but maybe I can get him to comment here.

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