An SLR parser generator written in Gofer (a Haskell variant) by Torben AEgidius Mogensen . Ratatosk generates purely functionalbacktracking {LR0 grammar} {parser}s (also in Gofer). Even though the sematic value of a production is a function of the attributes of its right-hand SIde (and thus apparently purely syntheSIsed), inherited attributes are eaSIly SImulated by uSIng higher-order functions. .