&quot; there is a reason that C is the foundation of computing rather than Lisp&quot;<p>That&#x27;s a myth. Try using first-hand sources like the papers from people who designed BCPL, B, and C to understand why it&#x27;s that way. Answer: terrible hardware back then. That&#x27;s it. Its popularity was result of prevalence of terrible hardware and that UNIX was written in C. I broke it&#x27;s history down in just a few pages with a timeline and references here:<p><a href="http:&#x2F;&#x2F;pastebin.com&#x2F;UAQaWuWG" rel="nofollow">http:&#x2F;&#x2F;pastebin.com&#x2F;UAQaWuWG</a><p>Likewise, before the social effect, the OS&#x27;s were coded in a number of HLL&#x27;s with capabilities UNIX lacked. Languages included ALGOL, PL&#x2F;0, and Pascal. Later, they were done in Modula, Oberon, Ada, Fortran (yeah lol), LISP, and so on as hardware improved beyond 1970&#x27;s minicomputers. Here&#x27;s some UNIX alternatives and their capabilities that developed... some of which you still don&#x27;t have. :)<p><a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10957020" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10957020</a><p>Far as LISP, it&#x27;s been implemented in hardware multiple times. This included naive ones that worked like a simple evaluator with garbage collection built into the memory-management unit. There was also one that had four specialized units for more sophisticated execution. One Scheme was designed and mathematically verified using the DDD toolkit that was also LISP if I recall.<p><a href="http:&#x2F;&#x2F;www.cs.indiana.edu&#x2F;pub&#x2F;techreports&#x2F;TR544.pdf" rel="nofollow">http:&#x2F;&#x2F;www.cs.indiana.edu&#x2F;pub&#x2F;techreports&#x2F;TR544.pdf</a><p>Oh heck, forgot they did it with VLISP. That was a Scheme48 interpreter and PreScheme compiler rigorously verified for correctness. PreScheme was a Scheme subset for systems programming. So, the work actually took a verified Scheme then mechanically derived verified HW from that Scheme code using a LISP-based tool. I recall from other papers they got it working on a FPGA and some PAL&#x27;s.<p>Whereas, I don&#x27;t know many small teams producing verifiable C code on verifiable C processors from verifiable C tools. Nah, I don&#x27;t think your favorite language is anywhere near where you think it is. I don&#x27;t even find LISP ideal here by far. It just did more in functionality &amp; bare metal. Also, first LISP machine was started when UNIX was released interesting enough.