Wednesday, September 5, 2007

Partial Evaluation

My friends Jacob Matthews and Dave Herman are working on a paper about a technique for compiler optimization. The following technique for partial evaluation came up last night while I was talking about it with our friend Ryan Culpepper. Ryan seems to think this wouldn't get excepted to POPL for some reason. Some silliness about needing to get a value back.
(define (partial-evaluator program)
(let ([t (thread (lambda () (eval program)))])
(sleep 1)
(kill-thread t)))

No comments: