You can have static typing with lisp if you want. There are many implementations of it actually. You can even detach the specifications of types from the code they refer to and specify the whole thing in lisp, no need to add any new syntax.<p>An example implementation from CHICKEN Scheme: <a href="http:&#x2F;&#x2F;wiki.call-cc.org&#x2F;man&#x2F;4&#x2F;Types" rel="nofollow">http:&#x2F;&#x2F;wiki.call-cc.org&#x2F;man&#x2F;4&#x2F;Types</a>