cata matching

Description

Dan Friedman's pattern matcher has a nice feature called cata-matching - allowing recursive matching from the match itself. Useful when writing compilers.

Environment

None

Activity

Show:

David Nolen December 12, 2014 at 10:18 PM

Going to de-prioritize for now as matching on function applications delivers a lot of power as is.

David Nolen December 10, 2014 at 6:38 PM

Similar to function application except that if a function call throws a no match exception, catch and backtrack.

Details

Assignee

Reporter

Priority

Created November 23, 2012 at 10:54 PM
Updated December 12, 2014 at 10:18 PM