在 F# 中转换抽象语法树 (AST)

Question

我正在尝试为决策逻辑表设计 AST。我希望能够对代表我的 AST 的受歧视联合做的一件事是出于不同的原因对其部分进行变换。为了清楚起见，我将给您一个示例

决策逻辑表

@VAR = 10;Y;

上面的内容可以理解为有一个规则，并且条件 VAR = 10 通过 Y 条目进入该规则。

抽象语法树定义（本例已简化）

 type expression = 
     | Value of double
     | Variable of string 
     | Equality of expression * expression

type entry =
    | Entry of string

type entries =
    | Entries of entry list

type conditional =
    | ConditionEntries of expression * entries

type condition
    | Condition of expression * string

type rule = 
    | Rule of condition list

渲染（变换前）

ConditionEntries(
    Equality(
        Variable("VAR"), 
        Value(10.0)), 
    Entries(["Y"]))

渲染（变换后）

Rule(
    Condition(
        Equality(
            Variable("VAR"),
            Value(10.0)
        ),
        Entry("Y")
    )
)

现在我想做的是变换上面的树来扩展条目中表示的规则。我的想法是我可以使用递归函数和模式匹配来做到这一点，但我现在在理解它时遇到了一些麻烦。

我想本质上我想做的是每当我看到 ConditionEntries 节点时，我想为条件与条目组合的条目列表中的每个字符串发出一个新规则。这有什么意义吗？

预先感谢您的任何建议。

ps 我还没有尝试编译上面的例子，所以请原谅任何语法错误。

Answer 1

嗯，基于你的 AST，它被严重破坏了，这里有一个 tranform 函数，它根据你想要的输入生成输出（尽管它不是递归的，只是使用 List.map 具有一些模式匹配。 表达式 是您唯一的递归类型，但看起来您不想递归地处理它？）：

let ex1 =
    ConditionEntries(
        Equality(
            Variable("VAR"), 
            Value(10.0)), 
        Entries([Entry("Y")]))

let ex2 =
    ConditionEntries(
        Equality(
            Variable("VAR"), 
            Value(10.0)), 
        Entries([Entry("X");Entry("Y");Entry("Z")]))

let transform ces =
    match ces with
    | ConditionEntries(x, Entries(entries)) ->
        entries
        |> List.map (function Entry(entry) -> Condition(x, entry))


//FSI output:
> transform ex1;;
val it : condition list =
  [Condition (Equality (Variable "VAR",Value 10.0),"Y")]
> transform ex2;;
val it : condition list =
  [Condition (Equality (Variable "VAR",Value 10.0),"X");
   Condition (Equality (Variable "VAR",Value 10.0),"Y");
   Condition (Equality (Variable "VAR",Value 10.0),"Z")]