Open robrix opened 10 years ago
Instead of binding out to a thread local array during pattern matching, capturing the result would allow us to handle backtracking/etc more naturally and would reuse the existing machinery for parse forests.
Key difference is that the null reduction combinator matches the empty string, while bind matches everything. But it still seems related.
Instead of binding out to a thread local array during pattern matching, capturing the result would allow us to handle backtracking/etc more naturally and would reuse the existing machinery for parse forests.