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