Question

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

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

他利用了Choice1Of2＆amp; F＃中的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）时，我没有得到与选择3相同的调试结果。为什么使用一种方法使choice3成为必要的，以获得与choice1＆amp;相同的结果。 2？

修改

似乎将选择4更改为：

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

解决了。我完全不清楚为什么我需要它。作业的右侧与所设置的类型一样清晰。

Answer 1

Choice类型的定义如下

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

因此，当您在choice4中构建Choice类型的实例时，只使用其中一条腿，这实际上留下了一个调试器必须具有的漏洞（描述'b的类型） fill，实际上在运行时它甚至不能确定类型实际上是Choice<'a,'b>所以你将获得一个由FSharpFunc表示的临时类型。用同样的方式，类型推断机制会报告Choice<string, 'a> 'a代表洞，直到实例匹配，然后强制你键入另一面。提供内联类型签名，例如

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

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

编辑（参见评论）：choice3表示为Choice1Of2<string,obj>，因为obj被认为是顶级（最常见的类型）。这是在耗尽所有其他选项时使用的类型推断机制后退类型。如果我们添加一些代码，

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

然后我们将获得Choice<string, int> GetHashCode()的类型为int，因此对于的类型，第二个匹配子句的结果必须为int结果让表达式保持一致。

试图理解F＃中的Choice类型

1 个答案: