[Haskell-cafe] Prolog-style patterns
waldmann at imn.htwk-leipzig.de
Tue Apr 9 20:42:05 CEST 2013
Yuras Shumovich <shumovichy <at> gmail.com> writes:
> Will not it be a nightmare to implement and maintain checker for
> overlapping/unused clauses for non-linear patterns?
For sure it does not look straightforward.
Note that there are some results and algorithms
for non-linear patterns, cf. this short survey by S. Tison:
"Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What's New?"
and some background in "Tree automata with constraints"
(esp. Sec. 4.4.5) http://tata.gforge.inria.fr/chap4.php
(advertisement starts here)
(overlap checking for) non-linear patterns in Haskell
looks like an ideal topic for a submission to the
"Haskell and Rewriting" workshop http://www.imn.htwk-leipzig.de/HART2013/
More information about the Haskell-Cafe