An SLR parser generator written in Gofer (a Haskell variant) by Torben AEgidius Mogensen <[email protected]>. Ratatosk generates purely functional backtracking LR0 grammar parsers (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