&gt; It&#x27;s crazy that in 2016, people are still seeking the holy grail of statically typed, memory safe, no VM programming languages that retains most of the advantages of dynamically typed languages.<p>I have my eye on Red and its system programming dialect Red&#x2F;System<p><a href="http:&#x2F;&#x2F;www.red-lang.org" rel="nofollow">http:&#x2F;&#x2F;www.red-lang.org</a><p><a href="http:&#x2F;&#x2F;static.red-lang.org&#x2F;red-system-specs.html" rel="nofollow">http:&#x2F;&#x2F;static.red-lang.org&#x2F;red-system-specs.html</a>