Design Patterns for Functional Strategic Programming

We believe that design patterns can be an effective means of consolidating and communicating program construction expertise for functional programming, just as they have proven to be in objectoriented programming. The emergence of combinator libraries that develop a specific domain or programming idiom has intensified, rather than reduced, the need for design patterns. In previous work, we introduced the fundamentals and a supporting combinator library for functional strategic programming. This is an idiom for (general purpose) generic programming based on the notion of a functional strategy: a first-class generic function that can not only be applied to terms of any type, but which also allows generic traversal into subterms and can be customised with typespecific behaviour. This paper seeks to provide practising functional programmers with pragmatic guidance in crafting their own generic programs using functional strategies. To this end, we propose a novel description format for fun...

• Type: Journal
• Year: 2002
• Where: CORR
• Authors: Ralf Lämmel, Joost Visser
• Keywords: CORR 2002, Design Patterns, Education, Functional Strategic Programming, Programming