Introduction to Partial Evaluation

Talk at fp-syd October 2011

Transcript

1. Introduction to Partial Evaluation Anthony M. Sloane Anthony.Sloane@mq.edu.au @inkytonik Programming Languages Research Group Department of Computing Macquarie University October 20, 2011
2. Credit Tutorial on Online Partial Evaluation William R. Cook and Ralf Laemmel DSL 2011 Tutorial Implements the examples in Haskell My version is in Scala (of course)
3. Partial Evaluation Evaluation of programs when some of the information they need is not available Offline: resolve as much as possible before evaluation Online: Evaluation proceeds as much as it can Termination is an important issue for online partial evaluation
4. Demo and code walk Interpreter: evaluate everything Naive partial evaluation: unfold expressions, may not terminate Proper partial evaluation: differentiate between static and dynamic function arguments, evaluate function calls with their static arguments, creating new functions of the dynamic arguments
5. Further information Haskell version and DSL 2011 paper draft: http://softlang.uni-koblenz.de/dsl11/ Scala version: https://bitbucket.org/inkytonik/partialeval