&gt; Lisp isn&#x27;t any one thing, it&#x27;s a language family.<p>Which is rather the problem. Types, in particular, are only useful if everyone has them - optional add-on typing has been tried for many languages, but I&#x27;ve never known it be successful.