私はJavaScriptでCominatorsを抱いていて、Wikipediaを見つけたときにSがうまく動作することを誇りに思っていました。「YコンビネータはSKI-計算:Y =のS(K(SII))(S(S(KS)K)(K(SII)))」ので、私はそれを試していた:私は間違って var I = function (x) {
return x;
};
var K = f
SKI-Combinatorsについて質問があります。 SとKのコンビネータのみを使用してXORを排他的に表現できますか? 私はあなたの質問は細部に少し不明であるが、何を意味することは、あなたが持っているようです Cancel x y = K x y = x
Swap: ff x y = S ff x y = ff y x