F# 中表达式的最佳表示

Question

我正在开发一个库，用于从 LINQ 表达式（基本上是 LINQ-to-SQL 的修改子集）生成 SQL。我使用可区分联合来对 SQL 表达式进行建模，但遇到了一些（感知到的？）限制。我想做类似以下的事情（注意最后一行）：

type SqlSourceExpression =
    | Table of string
    | Join of JoinType * SqlSourceExpression * SqlSourceExpression * SqlExpression //ie, left, right, predicate

and SqlExpression =
    | Source of SqlSourceExpression
    | OrderBy of SqlExpression * SortDirection
    | Select of SqlSourceExpression * SqlExpression * OrderBy list //can't do this

我可以执行以下操作：

type SqlOrderByExpression = SqlExpression * SortDirection

...并将最后两行更改为：

    | OrderBy of SqlOrderByExpression
    | Select of SqlSourceExpression * SqlExpression * SqlOrderByExpression list

但这似乎有两个问题：

1. SqlOrderByExpression 不是 SqlExpression。这使得访问者模式很难使用（也许问题就在这里？）。这意味着在遍历 Select 表达式时，我无法迭代 order by 表达式列表，将每个表达式传递给 Visit(expr:SqlExpression)。

2. SqlOrderByExpression 只是元组的类型别名，因此不会保留任何类型信息。在我看来，这会损害可读性。

有更好的方法来建模吗？我尝试了继承路线，但我认为 DU 更容易使用（除非提到的困难）。

Answer 1

当您使用 FP 技术 (DU) 时，您不需要记住 OOP 模式，只需使用高阶函数（折叠、地图、拉链等）。

如果您只想查看匹配代码的特定视图，可以使用以下活动模式：

let (|OrderByTerm|OrderByList|_|)= function
  |OrderBy x -> Some (OrderByTerm x)
  |Select (_,_,xs) -> Some (OrderByList xs)
  |_ -> None

Answer 2

我不确定为什么 SqlExpression 作为一个可区分联合，有 OrderBy 和 Select 的情况。 OrderBy 中允许包含哪些内容？

我认为受歧视的工会让这件事变得比实际需要的更加困难。我认为 SqlSourceExpression、SqlOrderByExpression 和 SqlSelectExpression 可以是不同的类型。如果您担心元组难以阅读，您可以将它们记录下来（这就是我在您的情况下会做的事情）。

我认为，当您开始表示像 (1 + SUM(ISNULL(Value1, Value2))) / COUNT(*) 这样的表达式树时，SqlExpression 可区分联合将会很有用。 ，其中语法更加灵活。