The Essence Of Strategic Programming

Program-Transformation.Org: The Program Transformation Wiki
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