Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Staticallly Checkable Pattern Abstractions

Manuel Fähndrich and John Boyland


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.


Publication typeInproceedings
Published inProceedings of the International Conference on Functional Programming (ICFP '97)
> Publications > Staticallly Checkable Pattern Abstractions