Staticallly Checkable Pattern Abstractions

Pattern abstractions increase the expressiveness of pattern matching, enabling the programmer to describe a broader class of regular forests with patterns. Furthermore, pattern abstractions support code reuse and code factoring, features that facilitate maintenance and evolution of code. Past research on pattern abstractions has generally ignored the aspect of compile-time checks for exhaustiveness and redundancy. In this paper we propose a class of expressive patterns that admits these compile-time checks.

icfp97.pdf
PDF file

In  Proceedings of the International Conference on Functional Programming (ICFP '97)

Details

TypeInproceedings
Pages75–84
> Publications > Staticallly Checkable Pattern Abstractions