Перший - це абревіатура до другого. Це звичайна синтаксична умова для скорочення виразів.
З іншого боку, якщо у вас є кортежі в мові, то між ними є різниця
- λx.λy.xy і
- λ(x,y).xy .
У першому випадку я можу надати один аргумент функції та передати отриману функцію навколо інших функцій. В останньому випадку обидва аргументи повинні бути подані одночасно. Звичайно, є функція, яку можна застосувати для перетворення 1 в 2 і навпаки. Цей процес відомий як (не) заквашування .
Визначення ви згадуєте, - це кодування поняття пар у -calculus, а не пари як примітивний тип даних (як я натякав вище).λpairλ