The Benefits of Crystal Type Languages

Crystal has union types where a variable can be one of two types. You can have a method defined underneath that receives an integer or a method that receives a string. Crystal also allows things to be inferred, for example. So as a developer, you don't have to write every type everywhere, but it just automatically happens to be,. But it's still safe in the end. That's the main thing Crystal gets from these static typing.