Meine kurze Antwort: "c 'lambda-of' e". Obwohl ich mich an "Lambda 'c' Funktion 'e" klammere, denke ich, dass Lambda-of der ökumenische Kompromiss ist. Die Analyse folgt.
Dies ist eine großartige Frage, wenn auch nur für die bizarren Antworten. Die meisten Übersetzungen haben andere Bedeutungen als für Lambda-Ausdrücke, was zu exotischen Interpretationen führt. Als alter Hacker mit Lambda-Ausdruck ignoriere ich einfach die .NET-Notation und schreibe sie als Lambda in meinem Kopf um, während ich wünschte, sie hätten fast alles andere dafür getan.
Wenn Sie Code über das Telefon erzählen möchten, möchten Sie, dass jemand den Code nacheinander aufschreiben kann. Das ist natürlich ein Problem, aber Lambda-Pfeil oder so ist wahrscheinlich das Beste, was man bekommen kann, oder vielleicht Lambda-In, aber Lambda-Of ist das genaueste.
Das Problem ist die Verwendung von Infixen und wie man das Ganze und die Rolle des linken und rechten Teils mit etwas benennt, das funktioniert, wenn es an der Infixstelle gesprochen wird.
Dies kann ein übermäßiges Problem sein!
Ich würde "so dass" nicht verwenden, da dies impliziert, dass die rechte Seite ein Prädikat ist, das die linke Seite erfüllen sollte. Das unterscheidet sich sehr von einer rechten Seite, von der die linke Seite als Funktionsparameter abstrahiert wurde. (Die MSDN-Aussage zu "Alle Lambda-Ausdrücke" ist einfach beleidigend und ungenau.)
Etwas rangiert an "geht zu", obwohl es so nah wie möglich sein kann. "Geht zu" impliziert eine Transformation, aber es gibt nicht genau eine Variable c, die zu einem Ausdruck in c geht. Die Abstraktion zu einer Funktion ist etwas schwer fassbar. Ich könnte mich daran gewöhnen, aber ich sehne mich immer noch nach etwas, das die Abstraktion der Variablen betont.
Da die linke Seite in den bisher verwendeten Fällen immer eine einfache Kennung ist [aber auf Erweiterungen warten, die dies später verwirren könnten], würde ich für "c => Ausdruck" den Ausdruck "c 'Lambda-Funktion' lesen "'oder sogar" c' arg '' Funktionsausdruck ". Im letzten Fall könnte ich dann Dinge wie "b 'arg' c 'arg' 'Funktionsausdruck" sagen.
Es könnte besser sein, noch deutlicher zu machen, dass ein Lambda-Ausdruck eingeführt wird, und so etwas wie "arg 'b' arg 'c' function 'expression" zu sagen.
Herauszufinden, wie all dies in andere Sprachen übersetzt werden kann, ist eine Übung für den Schüler [; <).
Ich mache mir immer noch Sorgen um "(b, c) => Ausdruck" und andere Varianten, die entstehen könnten, wenn sie es noch nicht getan haben. Vielleicht "'args' b, c 'function' expression".
Nach all diesen Überlegungen bemerke ich, dass ich "c => e" als "'Lambda' c 'Funktion' e" übersetze und bemerke, dass die Zuordnung zur exakten Form unter dem Kontext zu verstehen ist: λc (e ), c => e, f wo f (c) = e usw.
Ich gehe davon aus, dass sich die "go-to" -Erklärung einfach durchsetzen wird, weil hier eine dominante Mehrheit zum ersten Mal Lambda-Ausdrücke sehen wird. Das ist schade. Ein guter Kompromiss könnte "c ' lambda-of ' e" sein.