Einstellen Wert eines diskriminiert Union Objekt

Question

also noch eine andere diskriminiert Union Frage :-)

Angenommen, ich habe eine diskriminiert Union wie folgt: -

type Foo = 
    | A of string 
    | B of int 
    | C of char 
    | D of string 

Ich möchte in der Lage sein, ein zu verwenden, Funktion appendStringToFoo, wie folgt: -

let someVal = A("hi") 
let anotherVal = D("yo") 

let hiya = someVal |> appendStringToFoo "ya" 
let yoyo = anotherVal |> appendStringToFoo "yo" 

Wo hiya ("hiya") und Jojo = D ("Jojo") =.

Natürlich, ich würde auch separate Funktionen appendIntToFoo schreiben weiter, appendCharToFoo usw.

So effektiv, eine ähnliche Funktion wie: -

let appendStringToFoo str fooValue = 
    fooValue(fooValue.Value + str) 

Welche nicht möglich erscheint.

ich nicht wollen, dass Sie Folgendes tun, wenn ich es vermeiden kann: -

let appendStringToFoo str fooValue = 
    match fooValue with 
    | A(originalStr) -> A(originalStr + str) 
    | D(originalStr) -> D(originalStr + str) 

Da dies bedeutet, dass ich jedes Mal, diesen Code Ich habe eine neue Gewerkschaft Fall neu schreiben müsste.

Irgendwelche Ideen?

Answer 1

Sie müssen das tun, was Sie nicht tun wollen.

Eine Alternative entlang der Linien von

• abstrakte Klasse Foo
• abstrakte Klasse StringyFoo wäre: Foo {void AppendString (string); Zeichenkette S; }
• Klasse A: StringyFoo
• Klasse D: StringyFoo
• abstrakte Klasse IntyFoo: Foo
• Klasse B: IntyFoo

die potenziell ‚appendString bis zur Festsetzung vermeidet() jedes Mal, wenn Sie fügen Sie ein neuer Tokentyp ", aber ich denke, dass für einen Lexer (wo Foo = Token) Sie insgesamt glücklicher mit dem DU sein werden.

Im Allgemeinen mit Lexing/Parsing, ob Sie Klassenhierarchien und das Besuchermuster verwenden, oder Sie algebraische Datentypen verwenden, müssen Sie immer N * M-Code für N-Features und M-Subtypes schreiben; Es gibt kein Ausweichmanöver, also versuche nicht, süße Tricks zu finden, um es zu vermeiden, es führt nur zu Elend.