Pattern matching

A language construct that deconstructs Algebraic data type values by variant, binding fields to variables and enabling the type checker to refine types in each branch - safer than raw predicates + accessors.

A language construct that deconstructs algebraic datatype values by variant, binding fields to variables and enabling the type checker to refine types in each branch - safer than raw predicates + accessors.