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. .