Successor-ML VS awesome-low-level-programming-languages

Successor ML

SuccessorML[1], 1ML[2], etc. are pretty close to this in spirit. I've been trying to keep up with the publications around the future of ML, but academic research moves kinda slowly. I'm hopeful we'll see a new definition of Standard ML this decade. I'd tend to agree SML is a great choice -- SML-1997 is still ahead of many languages that came well after it in both features and usability.

[1] https://github.com/SMLFamily/Successor-ML

[2] https://people.mpi-sws.org/~rossberg/1ml/

(see https://github.com/robertmuth/awesome-low-level-programming-...)

I am maintaining a list low level languages here: https://github.com/robertmuth/awesome-low-level-programming-languages feel free to send PRs for corrections and additions.

A curated list of langauges like the ones mentioned in the video: https://github.com/robertmuth/awesome-low-level-programming-languages

More of a meta project to help me understand the "space": awesome-low-level-programming-languages

I have started looking into a frontend language. Not sure yet if I should roll my own or try to hook up Cwerg to an existing language. In any case that language should be a systems language similar to the ones described in awesome-low-level-programming-languages.

Funny, I am also in the market for a C++ alternative and had looked at Nim before. I felt it was a bit "kitchen-sinky" but I'll give it another shot. A comparison of system languages that came out of this effort can be found here: https://github.com/robertmuth/awesome-low-level-programming-languages

Unrelated: I maintain https://github.com/robertmuth/awesome-low-level-programming-languages feel free to send a PR with an entry for seed7 if you feel it is appriopriate.