Der Versuch, die Wahl Art in F # verstehen

Question

Ich habe kämpfen, um den Code in der RoP Artikel von Scott Wlaschin zu verstehen:

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

Er Verwendung der # Choice1Of2 & Choice2Of2 Typen in F macht. Ich habe versucht, sich mit zu kommen, wie diese Dinge zu nutzen, indem sie das Debuggen, wenn ich über das folgende Szenario kam:

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) 

Warum ist es, dass, wenn ich einen Choice1Of2 direkt (choice4) machen, weiß ich nicht Erhalte das gleiche Debugging-Ergebnis wie die Auswahl 3. Warum benutzt man eine Methode, um choice3 zu machen, um die gleiche Art von Ergebnis zu erhalten wie choice1 & 2?

EDIT:

Es scheint, dass choice4 zu diesem Wechsel:

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

klappt es. Es ist mir völlig unklar, warum ich das dort brauche. Die rechte Seite der Zuweisung ist so klar wie der Tag, um den Typ festzulegen.

Answer 1

Die Definition des Wahl-Typ ist als

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

So folgt, wenn Sie eine Instanz der Wahl Typ konstruieren, wie Sie in choice4 tun nur eine dieser Beine verwenden, das im Wesentlichen ein Loch verlässt (die Typ Beschreibung 'b), die der Debugger zu füllen hat, in der Tat zur Laufzeit kann es nicht einmal sicher sein, dass der Typ tatsächlich Choice<'a,'b> ist, so dass Sie einen temporären Typ erhalten, der durch eine FSharpFunc dargestellt wird. Auf ähnliche Weise würde der Typ-Inferenz-Mechanismus melden, wobei 'a das Loch darstellt, bis die Instanz übereinstimmt, über die Sie dann gezwungen wären, die andere Seite einzugeben. Bereitstellen der Typsignatur inline, z.

Bedeutet, dass Sie das Loch füllen und dem Debugger genügend Informationen zur Verfügung stellen, um den Typ korrekt darzustellen.

BEARBEITEN (siehe Kommentare): choice3 wird als Choice1Of2<string,obj> dargestellt, weil obj als Top (allgemeinster Typ) betrachtet wird. Dies ist der Rückgabetyp der Typrückschlussmechanismen, der verwendet wird, wenn alle anderen Optionen ausgeschöpft sind. Wenn wir etwas Code hinzufügen, z.

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

dann werden wir Choice<string, int> erhalten, wie die Art der GetHashCode()int ist somit das Ergebnis der zweiten Match-Klausel muss int für die Art des Ergebnisses seiner Ausdruck konsistent sein zu lassen.