Verwendet Musternamen, die mit "_" (Unterstrich) beginnen, für ignorierte Ergebnisse, die dokumentiert/empfohlen/portabel sind?

Question

Nehmen wir an, ich möchte einen Thread innerhalb eines do -Notationsblocks abzweigen, aber die Thread-ID interessiert mich nicht. Wenn ich

forkIO action 

GHC Fragen schreiben

Warnung Warnung: Eine do -Notation Anweisung verworfen ein Ergebnis vom Typ ThreadId. Unterdrückt diese Warnung sagen

_ <- forkOS action 

Dies ist eine gute Idee, wie ich, dass das Programm zeigen, wollen einige Ergebnis wird verworfen. Auf diese Weise wird jedoch nicht ersichtlich, was verworfen wird. Ich konnte

threadId <- forkIO action 

schreiben, aber dann sind wir verstecken die Tatsache, dass wir threadId nicht überall verwenden und GHC warnt richtig

Warnung: Definierte aber nicht verwendet: threadId

Es scheint, dass der vorangestellte Unterstrich beide Probleme löst:

Meine Fragen sind: Verwendet die Verwendung von Variablen, die mit Unterstrichen beginnen, laut Haskells Sprachspezifikation? Wie tragbar ist es? Ist es irgendwo dokumentiert? Ist es für Fälle wie diesen ermutigt - zu dokumentieren, dass ein Ergebnis ignoriert wird?

Answer 1

Ja. In section 2.4 of the 2010 specification, heißt es

Unders, _, als Kleinbuchstaben behandelt wird, und kann überall dort, wo ein Kleinbuchstabe kann auftreten.

... also _threadId ist ein legaler Bezeichner entsprechend der Sprachspezifikation, die absolut portabel sein sollte.

Jedoch ist _ selbst eine reservierte Kennung, die als Platzhalter in Mustern verwendet wird.

... so kann man nicht _ allein außerhalb Muster, verwenden also kann nicht diesen Wert verwenden.

Compiler, die Warnungen für nicht verwendete Bezeichner anbieten, sollten solche Warnungen für Bezeichner, die mit Unterstrichen beginnen, unterdrücken. Dies ermöglicht Programmierern, _foo für einen Parameter zu verwenden, von dem sie erwarten, dass sie nicht verwendet werden.

So _threadId ist eine gewöhnliche Kennung, die Sie könnten Einsatz an anderer Stelle, aber man sollte nicht gewarnt werden, wenn Sie es wegwerfen.

(Genau der gleiche Text ist in dem Bericht 98 Haskell.)

---

Beispiele:

main = do 
    _two <- return 2 
    print _two  -- works 

compiliert und druckt 2 gemäß der Spezifikation und

main = do 
    _two <- return 2 
    print 3   -- no warnings, but oops, didn't use _two 

compiliert ohne Warnung gemäß der Spezifikation und

main = do 
    _ <- return 2 
    print _  -- syntax error: _ used as identifier 

ist ein Syntaxfehler gemäß der Spezifikation.