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?

If calling a function doesn't involve LEA

it isn't really worth using