Mi respuesta corta: "c 'lambda-of' e". Aunque me aferro a la "'lambda' c 'función' e '', creo que lambda-of es el compromiso ecuménico. El análisis sigue.
Esta es una gran pregunta, aunque solo sea por las respuestas extrañas. La mayoría de las traducciones tienen otros significados que las expresiones lambda, lo que lleva a interpretaciones exóticas. Como un viejo hacker de expresión lambda, simplemente ignoro la notación .NET y la reescribo como lambda en mi cabeza mientras deseo que hubieran hecho casi cualquier otra cosa por esto.
Para narrar el código por teléfono, desea que alguien pueda escribir el código en secuencia. Eso es un problema, por supuesto, pero la flecha lambda o algo así es probablemente lo mejor que puede obtener, o tal vez lambda-in, pero lambda-of es lo más preciso.
El problema es el uso de infijo y cómo nombrar todo y el papel de las partes izquierda y derecha con algo que funciona cuando se habla en el lugar infijo.
¡Esto puede ser un problema demasiado limitado!
No usaría "tal que" porque eso implica que el lado derecho es un predicado que el lado izquierdo debería satisfacer. Eso es muy diferente de hablar sobre un lado derecho del cual el lado izquierdo ha sido abstraído como un parámetro funcional. (La declaración de MSDN sobre "Todas las expresiones lambda" es simplemente ofensiva e inexacta).
Algo molesta sobre "va a" aunque puede ser lo más cercano que podamos llegar. "Ir a" implica una transformación, pero no hay exactamente alguna variable c que vaya a una expresión en c. La abstracción de una función es un poco esquiva. Podría acostumbrarme a esto, pero todavía anhelo algo que enfatice la abstracción de la variable.
Dado que el lado izquierdo es siempre un identificador simple en los casos utilizados hasta ahora [pero espere las extensiones que puedan confundir esto más adelante], creo que para "c => expresión", leería "c" función lambda-expresión "'o incluso" c' arg '' función 'expresión ". En el último caso, podría decir cosas como "b 'arg' c 'arg' 'function' expression".
Podría ser mejor dejar aún más claro que se está introduciendo una expresión lambda y decir algo así como "expresión 'arg' b 'arg' c 'función'.
Descubrir cómo traducir todo esto a otros idiomas es un ejercicio para el estudiante [; <).
Todavía me preocupo por "(b, c) => expresión" y otras variantes que pueden surgir si aún no lo han hecho. Quizás "'args' b, c 'función' expresión".
Después de toda esta reflexión, noto que voy a traducir "c => e" como "'lambda' c 'function' e" y me doy cuenta de que el mapeo a la forma exacta debe entenderse por contexto: λc (e ), c => e, f donde f (c) = e, etc.
Espero que la explicación de "ir a" prevalecerá simplemente porque aquí es donde una mayoría dominante verá las expresiones lambda por primera vez. Eso es una lástima. Un buen compromiso podría ser "c ' lambda-of ' e"