LISP side of things already has a bit of work toward a security model and components for robust implementation:<p>Security Kernel
<a href="https:&#x2F;&#x2F;www.kyleisom.net&#x2F;downloads&#x2F;security_kernel.pdf" rel="nofollow">https:&#x2F;&#x2F;www.kyleisom.net&#x2F;downloads&#x2F;security_kernel.pdf</a><p>Formally-verified Scheme
<a href="http:&#x2F;&#x2F;citeseerx.ist.psu.edu&#x2F;viewdoc&#x2F;download;jsessionid=881F8DEAC1EE14DC88EAB49ED026CB05?doi=10.1.1.36.9989&amp;rep=rep1&amp;type=pdf" rel="nofollow">http:&#x2F;&#x2F;citeseerx.ist.psu.edu&#x2F;viewdoc&#x2F;download;jsessionid=881...</a><p>The features could certainly be worth it. Some aspects of the Genera experience, esp productivity &amp; holistic debugging, still aren&#x27;t in modern flows:<p><a href="http:&#x2F;&#x2F;www.symbolics-dks.com&#x2F;Genera-why-1.htm" rel="nofollow">http:&#x2F;&#x2F;www.symbolics-dks.com&#x2F;Genera-why-1.htm</a><p>So, who knows where it will go. Betting on a semi-functional language with prior high-security and high-productivity work is a better start than most projects like this, though.