Are there any ML style languages with no runtime?

• ATS-Postiats

  18 349 0.0 ATS

  ATS2: Unleashing the Potentials of Types and Templates

• LinearML

  2 425 10.0 OCaml

  Functional language for parallel programming

LinearML almost fits the bill, but it doesn't have manual memory management. It has a linear type system that is similar to Rust's borrow checker. All values are required to be used exactly once, except for primitives types which can be used multiple times. You can observe a value (similar to Rust's shared reference), but you can't store observed values in records or variants.

• WorkOS

  workos.com sponsored

  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-Spiral-Language

  33 903 9.6 Python

  Functional language with intensional polymorphism and first-class staging.

You could have a ML with ref counting which would meet some of your requirements. I came up with such a design for some of the planned Spiral AI chip backends, but haven't gotten to actually implementing it since I do not have any of aforementioned chips on hand yet.

• cogent

  4 157 0.0 Isabelle

  Cogent Project

  

That made me think of this project Cogent. This is almost certainly not what you’re looking for, because it’s aimed at formal verification. But, it does have some interesting properties, like manual memory management through uniqueness types. It doesn’t even support recursion though so, probably not so good as a general purpose PL.

Suggest a related project