Note that even Tcl had a recent proposal to support optional type annotations, but for run-time efficiency reasons rather than compile-time checking - http://code.activestate.com/lists/tcl-core/17707/