Modula-2 is interesting. It is basically the C many wished had been around in the 80s and 90s. Modula-2 has about the same expressiveness of C with pointers, structs, unions, and all that, but it has a stronger type system (tagged unions, mandatory casting, etc.), concurrency as part of the base language, an actual module system (like C++ just finally got in 2020...), and the typical clean lines of Wirth's designs - if you can get over the Wirth-style CAPITAL RESERVED WORDS and BEGIN and END, anyway.<p>A Modula-2 front end was added to GCC recently: <a href="https://news.ycombinator.com/item?id=34050597">https://news.ycombinator.com/item?id=34050597</a>