navigation
search
Differences
This shows you the differences between the selected revision and the current version of the page.
| future:overlapping 2008-09-18 12:30 | future:overlapping 2008-09-18 13:57 current | ||
|---|---|---|---|
| Line 25: | Line 25: | ||
| (-A,-A,-A) | (-A,-A,-A) | ||
| - | I am not sure whether we end in the same pitfall because checking whether rules are overlapping is very expensive in this case. But perhaps this would be a solution which combines the nice pattern matching of Curry with the expressiveness of top to bottom pattern matching. | + | I am not sure whether we end in the same pitfall because checking whether rules are overlapping is very expensive in this case. But perhaps this would be a solution which combines the nice pattern matching of Curry with the expressiveness of top to bottom pattern matching. Curry pattern matching with complement is not as expressive as top down pattern matching with underscore. Consider a data type ''data More = A | B | C | D''. |
| + | |||
| + | A | ||
| + | B | ||
| + | _ | ||
| + | |||
| + | To express the underscore we need a conjunction or a disjunction. | ||
| + | |||
| + | |||
| + | |||
