&quot;Now that&#x27;s interesting.&quot;<p>I knew you&#x27;d like it. It&#x27;s why I tried to message you in another comment about it.<p>&quot; Is it available for small embedded machines in the Arduino and low-end ARM class? It would be a good choice for when you just need to run some sensors and actuators, and need reliability.&quot;<p>Good point. I just found it thanks to another HN commenter. I don&#x27;t know much about the state except to say they&#x27;re jump starting it with another Modula-2-to-C compiler. I have the source for the original mtc compiler if anyone needs it. Meanwhile, the new one needs skilled contributors.<p>The language spec itself is in alpha and can use input on its features. They&#x27;re adding stuff that might help. I&#x27;d say now is the time to suggest things that offer safety or maintenance benefits without bloating the language. Anyone you or anyone else can think of. I for one intend to go through Ada and Eiffel looking for every trick they use for safety for internal and integrations. Then, see what can be applied to Modula-2 without ridiculous effort. Design by contract (or a knockoff), existential types, and SCOOP concurrency come to mind immediately. Plus, maybe a formal semantics or a subset to aid static analysis tools or formal verification.<p>Macro&#x27;s, too. I want safe (or safe-ish) macros. My old BASIC&#x2F;LISP-based 4GL had macros for DSL&#x27;s. They were <i>awesome</i>. So good for portability, security, performance hacks... many things with less overhead or confusion. Let&#x27;s let people extend the language without punishing them by forcing knowledge of compiler writing.<p>Whats your thoughts on jumpstarting with a M2-to-C compiler, borrowing from Ada&#x2F;Eiffel in simpler form, and adding macros?<p>&quot;Go is for larger systems, in the large web server class. It does too much implicit allocation and garbage collection for small embedded work.&quot;<p>Oh I agree. I was just pointing out they created an Oberon-style language with industrial enhancements to solve problems of Java, etc. It worked with quite a bit of uptake. Like Oberon, the programs are pretty simple, safer, compile fast, and run fast. Old benefits carried over into that application of Wirth style. So, applying it to a system-level language will probably re-create the prior benefits in that area.