oh static types where art thou?

Ruby and Python despise strong types.  I kinda like them :)  

Adds a sense of security to your program.  Like “I at least *think* this will work with all paths into my program.

But then how to be highly dynamic?  eval-ing new closures left and right, etc., and still have them fit?  I guess you recompile and recheck types each time.  And apply a type to blocks, as well.  And receive blocks only if they have certain types.  Man that is hard and restrictive.  Like

a = SomeClass

b = a.new

you’d have to be explicit about what b is and somehow runtime check it for workingness or what?

Anyway my wish would be for a strongly typed scripting language that’s as concise and useful as ruby and python.  Groovy? Scala?  Are these actually concise and useful as ruby and python are?

Though come to think of it, I suppose you could still analyze path information