<< Back to previous view

[MATCH-65] cata matching Created: 23/Nov/12  Updated: 12/Dec/14

Status: Open
Project: core.match
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Enhancement Priority: Major
Reporter: David Nolen Assignee: David Nolen
Resolution: Unresolved Votes: 0
Labels: None


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.

Generated at Sun Jan 21 17:04:20 CST 2018 using JIRA 4.4#649-r158309.