Crystal is a general-purpose, object-oriented programming language. With syntax inspired by Ruby, it’s a compiled language with static type-checking. Types are resolved by an advanced type inference algorithm.

Forgive my ignorance, but what is the difference? What would be the reason to choose Crystal over Ruby?