This is an automated archive made by the Lemmit Bot.

The original was posted on /r/programminglanguages by /u/bmitc on 2024-08-08 01:07:40+00:00.

By ML dialects, I mean descendants of languages like Standard ML (SML), OCaml, and F#. Of course, these languages all have high-level memory management and garbage collection, although there are some escape hatches of course, such as in F# being able to interact with unmanaged memory.

But are there languages that are highly inspired by these ML dialects that are able to displace C, C++, Rust, Zig, etc. in embedded contexts? And by embedded contexts I mean microcontrollers and also embedded computers running a real-time Linux kernel. You can already get away with doing systems programming with OCaml and F#, it’s just that people don’t like it. So what I’m really targeting is real embedded systems programming that’s talking to hardware and perhaps even running real-time loops.

I already know about Wildnerness Labs, but I am looking for a much more broad solution that doesn’t rely on bringing the entire .NET/CLR VM to embedded.

Who is working on languages like this?