El primero es una abreviatura para el segundo. Es una convención sintáctica común para acortar expresiones.
Por otro lado, si tienes tuplas en el idioma, entonces hay una diferencia entre
- λx.λy.xy y
- λ(x,y).xy .
En el primer caso, puedo proporcionar un argumento único para la función y pasar la función resultante a otras funciones. En el último caso, ambos argumentos deben ser suministrados a la vez. Existe, por supuesto, una función que se puede aplicar para convertir 1 en 2 y viceversa. Este proceso se conoce como (des) curry .
La definición de que mencionas es una codificación de la noción de pares en el cálculo , en lugar de pares como un tipo de datos primitivo (como indiqué anteriormente).pairλ