Common Lisp supports compile time type checking: <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11529039" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11529039</a><p>Have you seen Shen? <a href="http:&#x2F;&#x2F;shenlanguage.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;shenlanguage.org&#x2F;</a>