Are there any ML style languages with no runtime?

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

Scout Monitoring - Free Django app performance insights with Scout Monitoring
Get Scout setup in minutes, and let us sweat the small stuff. A couple lines in settings.py is all you need to start monitoring your apps. Sign up for our free tier today.
www.scoutapm.com
featured
InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
  • ATS-Postiats

    ATS2: Unleashing the Potentials of Types and Templates

  • Scout Monitoring

    Free Django app performance insights with Scout Monitoring. Get Scout setup in minutes, and let us sweat the small stuff. A couple lines in settings.py is all you need to start monitoring your apps. Sign up for our free tier today.

    Scout Monitoring logo
  • LinearML

    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.

  • The-Spiral-Language

    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

    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.

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

  • Thoughts on the Rascal meta-programming language

    3 projects | /r/ProgrammingLanguages | 13 Oct 2022
  • I'm a freelancer and I've got a customer who is asking for USB driver for a new device. They want it written in c++ and I said I'd only consider creating and supporting it if it was written in Rust. 🤷‍♂️

    1 project | /r/programmingcirclejerk | 2 May 2021
  • List of people who created a programming language

    1 project | news.ycombinator.com | 21 Jun 2024
  • Kani: A bit-precise model checker for Rust

    1 project | news.ycombinator.com | 13 Jun 2024
  • Release Creusot 0.1 · creusot-rs/creusot

    1 project | news.ycombinator.com | 20 May 2024

Did you konow that Python is
the 1st most popular programming language
based on number of metions?