после поиска в Интернете я не смог найти систему грамматики атрибутов для F #. Ну, есть fsyacc с унаследованными атрибутами, но я ищу что-то более выразительное, например, Ox ( Ox manual ). На самом деле я бы предпочел встроенный подход (возможно, в сочетании с fparsec). Ну, я мог бы использовать haskell и отличную систему грамматики атрибутов utrecht ( Система грамматики атрибутов UHC ), но по некоторым причинам я хотел бы придерживаться f #.
Примечание: сейчас я использую катаморфизмы (и десятки рукописных обходов) в моем компиляторе, сложность кода ... просто огромна; -)
есть намеки?