假设我有在F＃类型是这样的： type public Expression =
| Identifier of string
| BooleanConstant of bool
| StringConstant of string
| IntegerConstant of int
| Vector of Expression list
/
我正在与the following type definitions inside of Flow's try tool一起工作，我看到使用嵌套在工会内部的交叉点时有点奇怪的行为。 type Transition = SimpleTransition | BranchingTransition | LoopingTransition;
type SimpleTransition = {
我遇到了让DU按预期工作的问题。我已经定义了一个新的杜其或者具有<类型“从System.Exception open System
// New exceptions.
type MyException(msg : string) = inherit Exception(msg)
type MyOtherException(msg : string) = inherit MyExcepti
通用TryValue类型的语法是什么，它可以返回值'a或错误'b？ type TryValue =
| Value of 'a
| Error of 'b
如果错误是一个字符串，那么它的罚款： type 'a TryValue =
| Value of 'a
| Error of string
我想定义一个tryRun函数，它接受一个错误的创造者，一
让我们有几种类型的二进制节点，其他类型的节点之间的树的类型定义，即 type Tree =
| BinaryNodeA of Tree * Tree
| BinaryNodeB of Tree * Tree
| [Other stuff...]
我要操纵这棵树使用递归函数，例如，可以交换任何类型的二进制节点的子节点（通过构建新节点）。引起我疯狂的问题是：如何匹配所有BinaryNode，
为了调试的目的，我需要更多的浮点数详细信息，而不是printfn "%A"给我的所有测试代码都是一般化的。所以我想我box和匹配的类型来获得有意义的输出。 但是，类型可以是选项类型或Result<_, _>类型（成功/失败）。这些类型的唯一模式匹配，当你把他们当作歧视工会，但如果我型式试验他们，他们不会被击中： // Illustrative example of what I'm trying