statically typed FIOC

dynamically typed languages all seem to require more testing than statically typed languages because of the....well...lack of static typing. Would it ever be possible to make languages like FIOC, Ruby, Lua, Perl, etc statically typed?

>>1
You can use static typing in perl

http://search.cpan.org/~doy/Moose-2.0403/lib/Moose/Manual/Types.pod#TYPES_IN_PERL?

>>2
If you like your language to take your hand to cross the street, nice. I prefer a language that does not get in the way.