Erlang中的S组合子

时间:2011-10-17 06:52:51

标签: lambda erlang lambda-calculus s-combinator

我开始学习lambda演算,我需要在Erlang中实现I,S,K组合器。 当然,S,K,我代表:

  

S =λxyz.xz(yz)K =λxy.xI=λx.x

我在纸上理解I = SKK转换没有问题(如此处所示:To prove SKK and II are beta equivalent, lambda calculus)但似乎在功能语言和高阶函数方面我不理解...... / p>

我设法做了I和K(比如模块test):

i(X) -> X.
k(X) -> fun(Y) -> X end.

我也知道如何运行K x(K x)(SKK x = K x(K x))

kxk(X) -> (k(X))(k(X)).

但我无法理解它编写S组合子。我试过了:

s(X) -> fun (Y) -> fun(Z) -> X,Z (Y,Z) end end.

但是,我仍然无法将SKK x转换为x

我尝试像这样运行:

skkx(X) ->  s((k((k(X))))).

任何帮助都会受到赞赏,因为我完全迷失了。

1 个答案:

答案 0 :(得分:6)

来自Erlang shell:

1> I = fun (X) -> X end.
#Fun<erl_eval.6.80247286>
2> K = fun (X) -> fun (Y) -> X end end.
#Fun<erl_eval.6.80247286>
3> S = fun (X) -> fun (Y) -> fun (Z) -> (X(Z))(Y(Z)) end end end.
#Fun<erl_eval.6.80247286>
4> ((S(K))(K))(42).
42

或作为模块中的函数:

i(X) -> X.
k(X) -> fun(Y) -> X end.
s(X) -> fun (Y) -> fun (Z) -> (X(Z))(Y(Z)) end end.