Erlang 中的 S 组合器

我开始学习 lambda 演算，我需要在 Erlang 中实现 I、S、K 组合器。 当然，S、K、I代表： S = λxyz.xz(yz) K = λxy.x I = λx.x 我可以毫无问题地理…