Algebraic data types and pattern matching: Programming Language Design course | Zoonk
24. Algebraic data types and pattern matching
Model structured alternatives with product types, sum types, recursive types, and exhaustive patterns. Implement pattern checking, exhaustiveness analysis, and efficient matching.
