试图理解 F# 中的选择类型

Question

我一直在努力理解 Scott Wlaschin 的 RoP 文章中的代码：

http://fsharpforfunandprofit.com/posts/railway-oriented-programming-carbonated/

他在 F# 中使用了 Choice1Of2 和 Choice2Of2 类型。当我遇到以下情况时，我试图通过调试它们来了解如何利用这些东西：

module TestModule
open Microsoft.VisualStudio.TestTools.UnitTesting

// generic union type (like Choice1Of2, I think)
type Things<'a> =
    | Thing of 'a

// explicit union type (for comparison)
type Numbers =   
    | Integer of int

[<TestClass>]
type Tests() =

    // method to make a Choice1Of2 (from the article)
    let makeChoice (a : string) : Choice<string, 'a> = 
        Choice1Of2 a

    [<TestMethod>]
    member public this.WhyYouNoHaveItemValueAndStuff() =      
        let choice1 = Thing "test"          // debug = Thing "this"
        let choice2 = Integer 3             // debug = Integer 3
        let choice3 = makeChoice "test"     // debug = Choice1Of2 w/Item = "test"
        let choice4 = Choice1Of2 "test"     // debug = Tests.choice4@24 ???

        // bogus test stuff below here
        let choices = (choice1, choice2, choice3, choice4)
        Assert.IsNotNull(choices)

为什么我直接做choice1Of2（choice4）时，得到的调试结果和choice 3不一样。为什么要用方法做choice3才能得到和choice1 & 2一样的结果？

编辑：

似乎将choice4更改为：

let choice4 : Choice<string, Object> = Choice1Of2 "test" 

解决了。我完全不清楚为什么我需要那个。作业的右侧清楚地表明正在设置什么类型。

Answer 1

Choice类型的定义如下

 type Choice<'a, 'b> =
      | Choice1Of2 of 'a
      | Choice2Of2 of 'b

因此，当您像在 choice4 中那样构造 Choice 类型的实例时，您只使用其中一个分支，这实际上会留下一个漏洞（描述 'b 的类型），事实上，调试器必须填充在运行时，它甚至无法确定该类型实际上是Choice<'a,'b>，因此您将获得一些由 FSharpFunc 表示的临时类型。与类型推断机制几乎相同的方式将报告Choice<string, 'a>，其中'a 表示孔，直到实例匹配，然后强制您键入另一侧。提供内联类型签名，例如

 let choice4 : Choice<string, bool> = Choice1Of2 "test"

意味着您正在填补漏洞并为调试器提供足够的信息以正确表示类型。

EDIT（参见 cmets）：choice3 表示为 Choice1Of2<string,obj>，因为 obj 被认为是 Top（最通用的类​​型）。这是在用尽所有其他选项时使用的类型推断机制回退类型。如果我们添加一些代码，例如

let result =
    match choice3 with
    | Choice1Of2 t -> t.GetHashCode()
    | Choice2Of2 t -> t  

那么我们将得到Choice<string, int>，因为GetHashCode() 的类型是int，因此第二个匹配子句的结果必须是int，对于result let 表达式的类型始终如一。