Итак, мне нужен тип, представляющий деревья, содержащие набор node -типов. Мне также нравятся типы, которые представляют собой аналогичное дерево, определенное над перекрывающимися наборами. Это еще одна версия проблемы Typed AST. Скажем, что мой пул node -типов:
data Lit = Lit Int
data Var = Var String
data Hole = Hole Int
Дерево разбора может содержать Lit или Var, но не Hole s. Второе дерево вида, называемое шаблоном, может содержать Lit s, Var или Hole s.
Чтобы все было просто, существует один тип рекурсивного node, называемый Add.
data Parse = A Lit | B Var
data Template = C Lit | D Var | E Hole
data Tree a = Leaf a
| Add (Tree a) (Tree a)
Итак, теперь я могу объявить данные, и я могу по-прежнему сопоставлять их с шаблонами, единственная проблема - синтаксический беспорядок.
aParse = Add (A Lit 3) (B Var "x")
aTemplate = Add (C Lit 4) (E Hole 3)
fun (Add (A lit) (B var) = ...
Я бы хотел немного сахара, похожего на:
ParseLit = A . Lit
TempLit = C . Lit
Очевидно, что псевдонимы для композиций конструкторов (не типов) не являются законными в Haskell. Но каков самый чистый способ написать это, избегая как можно большего количества котельной плиты?
