Welches reservierte Schlüsselwort in der F # -Sprachspezifikation sollte in vNext implementiert werden?

Merkmal, Annahme Merkmal ist so etwas wie Scala Merkmale.

Meine Stimme ist für den Schwanzruf.

Wenn ich die Absicht richtig verstehe, wäre dies ein Schlüsselwort, um rekursive Funktionen zu markieren, die der Autor tendieren würde, rekursiv zu sein. Wenn der Compiler aus welchen Gründen auch immer nicht nachkommen kann, kann eine Diagnosemeldung sehr hilfreich sein.

Wie es jetzt aussieht, wenn Sie Ihre rekursive Funktion nicht richtig strukturieren, wenn Sie zum ersten Mal darüber informiert werden, ist die StackOverflow-Ausnahme (kein Pan beabsichtigt)

Ich bin irgendwie nicht in der Lage, Ihrem Link zu folgen, aber für den Fall, dass atomic auf den eingebauten Software-Transaktionsspeicher zutrifft, ist dies mein Favorit.

Gute Frage, aber schwer zu beantworten. Sie können den Zweck jedes reservierten Schlüsselworts nicht genau erraten, oder?

Aus meiner Sicht könnte ich einige nützliche Anwendungsfälle für fixed (Puffer fester Größe) sehen.

Ich würde für eager stimmen, wenn das bedeutet, dass die Bewertung standardmäßig faul war (wie in Haskell, aber anders als die aktuelle F #).