That’s very interesting. I see similar attitude in the C# JIT/Roslyn developers where they take this very seriously. Interesting are this is influenced by Anders, or just whole thing tick for a lot of compiler developers?
I like ACE it's very interesting application of Prolog. While it focused on writing logical definitions, I think there interesting way of looking at how we try to express programming languages syntax to newbies in classrooms. I personally think that it is possible to find way of speaking about code which sounds a lot like English. Maybe that's because my English is not adequate.
Just in case that maybe interested to you. Currently (with nightlies) using NativeAOT + C# you would be able to have approximate same as Go. Even fully statically linking executable. And given that MS working on making apps have less size, gopefully it would be comparable to Go in app size.
Not sure if this is project related, but I discover port (https://github.com/ptrelford/FunSharp) of Small Basic style on F# and that look awesome for displaying simple concepts. I think all programming languages can have simple setups which would be easy for kids.
I was interested enough to port from Gtk to Avalonia, since that looks much better for Windows and do not degrade anywhere on Linux/Mac OS. Also I run small experiment by try to "internationalize" that library, by porting F# to my language - Ukrainian, just to look if that would be easier to pickup. I think for early education, immidiately after Scratch expressing algorithms in native language maybe beneficia.
Technically you can always write you own C compiler like this project https://github.com/ForNeVeR/Cesium. Obviosuly C++ is much more complicated journey and require real investment. But at this point this is not CoreCLR limitations mostly.
You generally do not want use NativeAOT for plugins, since you can have just one .Net runtime inside process. If somebody will write another plugin you will have a problem or experience very strange things
