On Ruby, he made up his mind NOT to add Static Typing. Because he thinks the “optional” one is down by half and the “full” one lead to losing Ruby’s identity by dynamic language, even if it’s friendly for dynamic language. Besides, He concerned about its complexity, implements and performance as against its effect.
But he is ready to add Type Checking System if there is a good idea. He thinks that it’ll be the one like current C Extention’s type checking. He has an interest in friendly Duck-Typing, Object Adaptation, Design by Contract.