The wonders of partial evaluation

2011-09-08 Thread Ludovic Courtès
Hello! Three days ago I had the chance to attend William Cook’s excellent tutorial on partial evaluation at DSL 2011, called “Build your own partial evaluator in 90 minutes” [0]. A few times 90 minutes later, I am pleased to announce a new partial evaluator for Tree-IL:

Re: The wonders of partial evaluation

2011-09-08 Thread Noah Lavine
This is excellent! Congratulations! An interesting note from my current project: a partial evaluator means you don't have to use macros to define the PEG parser (while keeping exactly the same efficiency as now): instead of having (define-peg pattern) be a macro that analyzes pattern and outputs

Re: The wonders of partial evaluation

2011-09-08 Thread dsmich
Ludovic Courtès l...@gnu.org wrote: Hello! Three days ago I had the chance to attend William Cook’s excellent tutorial on partial evaluation at DSL 2011, called “Build your own partial evaluator in 90 minutes” [0]. A few times 90 minutes later, I am pleased to announce a new

More PEG

2011-09-08 Thread Noah Lavine
Hello all, It looks to me like the last thing needed before the peg branch can be used is to change some of the S-expression representations of the components. Here are the five that I think need changing, taken from the manual, with suggested replacements. -- PEG Pattern: zero or more a