On Saturday, 2 March 2013 at 06:50:32 UTC, SomeDude wrote:
Exactly. This fixed subset would be very limited in comparison to the full language (I can imagine something looking a bit like a smaller Go, there would probably be no templates at all, no CTFE, maybe even no exceptions, for instance), but would be orthogonal, completely stable in terms of spec, and known to work. It could be defined for other real world usages as well, like embedding in small appliances.
It would also make it easy to bootstrap the compiler on new platforms.