Algebraic data types: Difference between revisions

In E, a pattern can be used almost anywhere a variable name can. Additionally, there are two operators used for pattern matching idioms: <codett>=~</codett> (returns success as a boolean, somewhat like Perl's <codett>=~</codett>), and <codett>switch</codett> (matches multiple patterns, like Haskell's <codett>case</codett>).

Both of those operators are defined in terms of the basic bind/match operation: <codett>def <var>pattern</var> exit <var>failure_handler</var> := <var>specimen</var></codett>

<codelang lang="haskell">

</codelang>