RalfLaemmel,
EelcoVisser and
JoostVisser.
The Essence of Strategic Programming. (Draft)
Abstract
Strategic programming is an idiom for generic programming where the concept of
a strategy plays a central role. A strategy is a generic, data-processing
action. Strategies are first-class citizens as witnessed by a combinator style.
Two important characteristics of strategies are that they can traverse into
compound data, and that they can be customized by type-specific actions. We
provide a general definition of strategic programming, and we demonstrate how
this idiom can be realized inside several programming language paradigms.
The paper
Companion
This wiki page is a companion to the paper by discussing and providing links to related work.
Realizations of the Strategic Programming Idiom
Applications of Strategic Programming
- EBNF: the example application in the paper
CategoryPaper