Difference between revisions of "Attribute grammar"
Jump to navigation
Jump to search
EndreyMark (talk | contribs) m (Formatting word ``catamorphism'' as a link to Category theory) |
EndreyMark (talk | contribs) m (/*Related concepts/* More precise location of a link) |
||
| Line 22: | Line 22: | ||
* [[Circular programming]] |
* [[Circular programming]] |
||
| − | * [[Category theory |
+ | * Catamorphism, see [[Category theory]] |
[[Category:theoretical foundations]] |
[[Category:theoretical foundations]] |
||
Revision as of 11:35, 7 June 2006
Introduction
Especially for functional programmers (with Haskell examples) -- see Wouter Swierstra: Why Attribute Grammars Matter (published in The Monad.Reader, Issue Four).
Portals or other rich resources
Tools
Utrecht University's Attribute Grammar System tools include also an attribute grammar compiler, UUAGC. The concept of attribute grammar was used in their Essential Haskell Compiler project, which gives us not only a working programming language, but also a good didactical material about using attribute grammars, e.g. in writing compilers.
Albeits these materials are self-contained, they reveal that the theory of attribute grammars is related to other concepts (circular programming, catamorphism).
Related concepts
- Circular programming
- Catamorphism, see Category theory