search

robrix / Hammer

Parsing and pattern matching in Objective-C
BSD 3-Clause "New" or "Revised" License
75 stars 1 forks source link

[WIP] Selectively reducible combinators #74

Closed robrix closed 10 years ago

robrix commented 10 years ago

This is going to allow for the selective reducing of combinators, e.g. you will be able to reduce an alternation without reducing either or both of its subcombinators, or reduce a concatenation such that your reduction can use the computed results of reducing its subcombinators (as with the definitions of nullability, cyclicity, parse forests, etc).

robrix commented 10 years ago

Turns out not to be necessary under destructuring pattern matching.