The language just needs to provide the required features to be able to do it. Some kind of unsafe mechanism and more control how the GC works.<p>Oberon&#x27;s GC is written in Oberon:<p><a href="https:&#x2F;&#x2F;www.inf.ethz.ch&#x2F;personal&#x2F;wirth&#x2F;ProjectOberon&#x2F;Sources&#x2F;Kernel.Mod.txt" rel="nofollow">https:&#x2F;&#x2F;www.inf.ethz.ch&#x2F;personal&#x2F;wirth&#x2F;ProjectOberon&#x2F;Sources...</a><p>Module SYSTEM is like Rust&#x27;s unsafe {}.<p>Singularity and Midori GC&#x27;s were written in their C# dialects.<p>With luck C# 7 onwards will get all the nice features from Sing# and System C#, as per Joe Duffy&#x27;s blog.<p>Then using C# will be no different than Modula-3, in terms of features for systems programming.