Nobody told Dr. Tarver[1]. He built a series of lisps with tight integration with the underlying Common Lisp platform featuring a strong typing system rooted in the propositions of Sequent Calculus[2][3]. Type delcarations are only on top level forms with all locals inferred. There seems to be work to improve this in Shen Professiona&#x27;s new compiler. Shen offers tight integration with the underlying platform (although it has been ported to a number of runtimes (SBCL, CLISP, and V8 amongst others)[4]).<p>[1] - <a href="http:&#x2F;&#x2F;www.shenlanguage.org&#x2F;history.html" rel="nofollow">http:&#x2F;&#x2F;www.shenlanguage.org&#x2F;history.html</a><p>[2] - <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Sequent_calculus" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Sequent_calculus</a><p>[3] - <a href="http:&#x2F;&#x2F;www.shenlanguage.org&#x2F;learn-shen&#x2F;types&#x2F;types_sequent_calculus.html" rel="nofollow">http:&#x2F;&#x2F;www.shenlanguage.org&#x2F;learn-shen&#x2F;types&#x2F;types_sequent_c...</a><p>[4] - <a href="http:&#x2F;&#x2F;www.shenlanguage.org&#x2F;download_form.html" rel="nofollow">http:&#x2F;&#x2F;www.shenlanguage.org&#x2F;download_form.html</a>