I wonder if Matz may consider even just adopting Crystal in the future, considering it is almost 99% compatible with Ruby and has 10x-20x performance gains out of the box.
This. Some concepts and syntax are similar but they are quite different. I'm not saying that in negative sense - static typing with type inference rocks.