Attribute Grammars in a Functional Style

For long, attribute grammars have formed an isolated programming formal-ism. We show how we may embed the attribute grammar approach in a mod-ern functional programming language. The advantages of both sides reinforce each other: the former provides compositionality and the latter naming ab-straction and higher-orderness. Through a sequence of program transforma-tions we show different aspects of the techniques involved. We conclude with the observation that an attribute grammar oriented algorithm development may be a fruitful one, and may go hand in hand with a more algebraic style of program development