Я начинаю изучать лямбда-исчисление, и мне нужно реализовать комбинаторы I, S, K в Erlang. Конечно, S, K, I означает: S = λxyz.xz(yz) K = λxy.x I = λx.x У меня нет проблем с пониманием преобразования I = SKK на бумаге (как показано здесь:...

Мне было поручено показать, что S(KK)I = K Теперь, поскольку S принимает три аргумента, я просто застрял в начале, не зная, как с этим справиться. Я вижу два аргумента, а именно (KK) и I , но третьего я не могу "уловить". Что...