koba-e964 https://blog.hatena.ne.jp/koba-e964/ koba-e964の日記 https://koba-e964.hatenablog.com/ 概要 ラムダ式をSKIコンビネータの式に変換するプログラムを書きました。 koba-e964/ski-comb · GitHub やったこと ラムダ式→SKIコンビネータの項の変換 実装は 高階ことりちゃんと学ぶSKIコンビネータ を参考にしました。 例 Haskell風の書き方で説明します。やり方は上のリンク先に書いてあるので、ここでは実例だけ紹介します。 C = \x y z -> x (y z) をSKIコンビネータ項に直してみましょう。 (1) 全てのλ抽象を新しく導入した関数に直す。このとき、新しく導入される関数の定義は、 関数名 自由変数... ラムダ式で束縛される変数 の形になる… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkoba-e964.hatenablog.com%2Fentry%2F2014%2F08%2F08%2F003223" title="ラムダ式→SKIコンビネータ項 - koba-e964の日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2014-08-08 00:32:23 rich https://koba-e964.hatenablog.com/entry/2014/08/08/003223 1.0 100%