Question

我正在创建一个带有多个受歧视联盟（DU）的简单DSL。存在构建块DU，较高的DU构建在较低的DU之上。

现在我想创建UI，用户可以在其中构建与我的DSL匹配的文本。到UI我不想表达我的完整语法，但只显示可以执行的操作。所以我需要一种方法来从我的层次结构DU中找出用户可以做的其他可能状态。

示例输入文字(1 + (2 * 3))

type Expression =
   | Constant of int
   | Add of Expression * Expression
   | Mul of expression * Expression

所以当用户启动时，我必须返回一个列表，说明只能使用Constant。当用户传递（常量）作为他当前的状态时，我必须告诉你可以add/Mul（这是表达式）等等。

我想用一种类型安全的方式表示一个结构，它表示当前状态和可能的状态。有没有办法在f＃

中解决这类问题

Answer 1

我认为你正在寻找FSharpType.GetUnionCases。您可以按如下方式使用它：

open System
open Microsoft.FSharp.Collections
open Microsoft.FSharp.Reflection

type Expression =
   | Constant of int
   | Add of Expression * Expression
   | Mul of Expression * Expression

typeof<Expression> |> FSharpType.GetUnionCases|> Dump |> ignore

LinqPad上面的here

f＃获取可能受歧视的联合项

1 个答案: