So refaktorieren Sie eine Funktion mit "ignorieren"

Question

Wann sollte ich "ignore" anstelle von "()" verwenden?

ich versuchte, die folgend zu schreiben:

let log = fun data medium ->() 

erhielt ich dann die folgende Meldung:

Lint: 'Spaß _ ->()' könnte in der Lage sein, in Refactoring wird ' ignorieren'.

So aktualisiert ich die Erklärung auf die folgenden:

let log = fun data medium -> ignore 

Gibt es eine Anleitung, warum ich einen über den anderen verwenden könnte?

Mein Bauch sagt mir, dass ich ignorieren sollte, wenn Sie einen tatsächlichen Ausdruck ausführen. In diesem Fall erkläre ich jedoch eine höherwertige Funktion.

Sind meine Annahmen richtig?

Answer 1

Nie, zumindest nicht in der Art und Weise in der Frage gezeigt.

zwischen ignore und () Substitution ist nicht sinnvoll, da sie unterschiedliche Konzepte sind:

• ignore ist eine generische Funktion mit einem Argument und Einheit zurückzukehren. Sein Typ ist 'T -> unit.
• () ist der einzige gültige Wert vom Typ unit. Es ist überhaupt keine Funktion.

Daher ist es nicht gültig, den Refektor in der Frage zu tun. Die erste Version von log dauert zwei Curry-Argumente, während die zweite Version drei dauert.

Was Lint vorschlägt, ist nicht ganz klar. ignore ist eine Funktion mit einem Argument; Es ist nicht offensichtlich, wie (oder warum) es verwendet werden sollte, um eine Methode umzuformen, die zwei Curry-Argumente benötigt. fun _ _ ->() wäre eine gute und gut lesbare Möglichkeit, zwei Argumente zu ignorieren.

Answer 2

Die Linter-Nachricht, die Sie hier erhalten haben, ist ein bisschen verwirrend. Die ignore Funktion ist nur eine Funktion, die alles und kehrt Einheit nimmt:

let ignore = fun x ->() 

Ihre log Funktion ist ein bisschen ähnlich wie ignore, aber es hat zwei Parameter:

let log = fun data medium ->() 

In F #, das ist eigentlich eine Funktion, die eine andere Funktion zurückgibt (currying).Sie können sagen, dies explizit schreiben:

let log = fun data -> fun medium ->() 

Jetzt können Sie sehen, dass ein Teil Ihrer Funktion eigentlich das gleiche wie ignore ist. Sie können schreiben:

let log = fun data -> ignore 

Dies bedeutet das gleiche wie Ihre ursprüngliche Funktion und das ist, was der Linter vorschlägt. Ich würde den Code nicht auf diese Weise schreiben, weil es weniger offensichtlich ist, was der Code tut (er benötigt tatsächlich zwei Argumente) - Ich denke, der Linter sucht nur nach dem einfachen Muster, ignoriert die Tatsache, dass manchmal das Refactoring nicht alles ist sinnvoll.