[Haskell-cafe] Prolog-style patterns

Johannes Waldmann 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 mailing list