Rules for type casting using the operator CAST Rules for casting primitive data types. Casting rules for containers. Rules for Optional Rules for List/Dict Rules for Struct/Tu...

Type autocasting Number autocasting Symbol autocasting Type autocasting Crystal transparently casts elements of certain types when there is no ambiguity. Number autocasting ...

Type inference With type restrictions Without type restrictions 1. Assigning a literal value 2. Assigning the result of invoking the class method new 3. Assigning a variable th...

Type reflection Type reflection Crystal provides basic methods to do type reflection, casting and introspection.

Type restrictions Restrictions from instance variables self restriction Classes as restrictions Type restrictions in splats Free variables Splat type restrictions Type res...

Type restrictions Restrictions from instance variables self restriction Classes as restrictions Type restrictions in splats Free variables Splat type restrictions Type res...

Type inference With type restrictions Without type restrictions 1. Assigning a literal value 2. Assigning the result of invoking the class method new 3. Assigning a variable th...

Type reflection Type reflection Crystal provides basic methods to do type reflection, casting and introspection.

Type restrictions Restrictions from instance variables self restriction Classes as restrictions Type restrictions in splats Free variables Type restrictions Type restrictio...

Using schemas to enhance the Rego type checker Passing a single file with -s Passing a directory with -s Usage scenario with a single schema file Schema annotations Rule and Do...