Type Errors

In this lesson, we'll see how Reason deals with inconsistencies in types.

Mixing Different Types

Reason ensures that a value of a particular type only interacts with values of the same type.

Inconsistency in Arithmetic

If we try and mix different types in a computation, the compiler will throw a type exception:

Get hands-on with 1400+ tech skills courses.