Context Patterns in Haskell (1996)
| Venue: | In 8th Int. Workshop on Implementation of Functional Languages, LNCS 1268 |
| Citations: | 8 - 2 self |
BibTeX
@INPROCEEDINGS{Mohnen96contextpatterns,
author = {Markus Mohnen},
title = {Context Patterns in Haskell},
booktitle = {In 8th Int. Workshop on Implementation of Functional Languages, LNCS 1268},
year = {1996},
pages = {41--57},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In modern functional languages, pattern matching is used to define functions or expressions by performing an analysis of the structure of values. We extend Haskell with a new nonlocal form of patterns called context patterns, which allow the matching of subterms without fixed distance from the root of the whole term. The semantics of context patterns is defined by transforming them to standard Haskell programs. Typical applications of context patterns are functions which search a data structure and possibly transform it. This concept can easily be adopted for other languages using pattern matching like ML or Clean.
