Comment by siika2000

> The ideal would be a dynamic language with optional static typing but I have yet to see a language like that.

That would be Common Lisp.