Sorry, I hadn't seen your earlier posts, and I kind-of misunderstood the category of languages you were trying to define. If you say "simplicity and foundational," it makes perfect sense, in which case I can't see any good reason to disagree with your choices of Standard ML, Smalltalk, and C.
Incidentally, I have been looking for an implementation of Standard ML as a Scheme macro system, I am interested evaluating Standard ML implementations for my "Schemacs" project. Although I doubt anything exists for the modern R7RS standard right now, it would probably be easier for me to implement my own ML in R7RS from the ground up.
DougMerritt (log😅 = 💧log😄) (npub1vlc…mzqq)
