Ask News.YC : Optionally statically typed languages?

I am trying to survey programming languages which have optional static type declarations. I know about CL and Dylan. Kawa Scheme and Clojure also appear to be using optional static typing. Are there any others?