after searching the web i could not find an attribute grammar system for F#. Well there is fsyacc with inherited attributes but i am looking for something more expressive like Ox (Ox manual). Actually i would prefer an embedded approach (maybe coupled with fparsec). Well i could go with haskell and the excellent utrecht attribute grammar system (UHC attribute grammar system) but for some reasons i would like to stick with f#.
Note: right now i am using catamorphisms (and dozens of handwritten traversals) all the way in my compiler the code complexity is...just enormous ;-)
any hints?