Skip to content
scrambled
Programming Language Theory Concept

Pattern matching

Books JourneyProgramming Language Theory Statuslearning

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.