[MATCH-65] cata matching Created: 23/Nov/12 Updated: 12/Dec/14
|Reporter:||David Nolen||Assignee:||David Nolen|
Dan Friedman's pattern matcher has a nice feature called cata-matching - allowing recursive matching from the match itself. Useful when writing compilers.
|Comment by David Nolen [ 10/Dec/14 12:38 PM ]|
Similar to function application except that if a function call throws a no match exception, catch and backtrack.
|Comment by David Nolen [ 12/Dec/14 4:18 PM ]|
Going to de-prioritize for now as matching on function applications delivers a lot of power as is.