Правда ли, что в руби появится возможность статической типизации?

На рубиконфе Matz говорил что есть идеи сделать статическую типизацию.
Вот тут почитать можно.

Маловероятно.
Есть язык crystal-lang.org который стараются сделать максимально приближенным к руби. Вот там, возможно.

P.S. Да, на самом сайте написано, что такого никогда не будет, но версия 0.7 и мало ли что еще изменится. Дискуссии там вроде совершенно разные ведутся по разным аспектам развития.