Pattern mat hing is a well-appre iated feature of languages like ML or Haskell; it greatly simpli es the task of inspe ting values of stru tured data types and fa ilitates su in t fun tion de nitions that are easy to understand. In its basi form, pattern mat hing tries to identify a ertain stru ture of a value to be pro essed by a fun tion. This stru ture is spe i ed by a pattern, and if it an ...