>>67
コンビネータといえばCL式
どんなCL式でもIKSを組み合わせたものまで分解できるらしいけど
どうやって？

あとSの意味が判らない。どう使うんだろう？

I = \ x -> x
K = \ x y -> x
S = \ x y z -> x z ( y z )

でも相手にしないでください。
頭正規形(hnf)って何？といぐらいのレベルですから。
ラムダ理論も知らないんですから。