Warum kann eine Variable zweimal in einem Muster gebunden werden?

Question

Normalerweise erlaubt F # nicht, dass Mustervariablen zweimal im selben Muster vorkommen. Aber im folgenden Code beschwert sich F # nicht - ist das ein Fehler?

type foo = { A: int } 
let test (x, {A = x}) = x 
let result = test ("bla", {A = 3}) 

Answer 1

Ich glaube nicht, dies ein Fehler ist, obwohl es verwirrend scheint, aber es ist nur die Art und Weise der Compiler Bindung des obigen Wert kompiliert.

Abschnitt 14.6.3 besagt, dass, wenn der Wert Definition nicht ein einziges Wertmuster ist (wie es hier der Fall ist), der ausgefeilte Ausdruck

tmp <typars1… typarsn> = expr 
ident1 <typars1> = expr1 
… 
identn <typarsn> = exprn 

wo tmp eine neue Kennung und jeweils expri Ergebnisse ist aus die Kompilation des Pattern pat (§7) gegen Eingabe tmp [von spec].

Um zu sehen, was der Compiler tut, wir ein F # Zitat verwenden könnte, zum Beispiel:

<@ let test (x:int, {A = x:int})= x in test (3, {A = 5}) @>;; 

In String-Format erhalte ich (ein paar Sachen heraus zu verlassen):

Let (test, 
    Lambda (tupledArg, 
      Let (x, TupleGet (tupledArg, 0), 
        Let (_arg1, TupleGet (tupledArg, 1), 
         Let (x, PropertyGet (Some (_arg1), A, []), x)))), 
    Application (test, NewTuple (Value (3), NewRecord (foo, Value (5))))) 

weshalb wir nimm das "innere" x.

Ich glaube nicht, dass es ein Fehler ist, aber vielleicht wäre es konsistenter, wenn dies eine Warnung erzeugen würde.