Right, I always forget the right naming. From the Oberon family, I prefer Active Oberon anyway.
> .., which has so few users, I doubt it qualifies as valid option.
True, it is unfortunate that the whole Oberon ecosystem never left the academia, except for a single digit set of companies that managed to make some money out of it.
Still, it does count when discussing about language type systems.
My experience with it, made me a supporter of GC enabled systems programming languages and OS made with them.
The other one I also played with was Modula-3.
Nowadays it seems even at ETHZ, Oberon does not get used that much, if at all and they switched their focus to research based on .NET.
> I would love to see some form of Oberon gain more nerd traction.
I doubt it will ever get one, due to its Pascal syntax heritage, which many don't like, specially the all caps for keywords.
Oh well, at least Go got some influence from it.