2014-08-01から1ヶ月間の記事一覧
概要 ラムダ式をSKIコンビネータの式に変換するプログラムを書きました。 koba-e964/ski-comb · GitHub やったこと ラムダ式→SKIコンビネータの項の変換 実装は 高階ことりちゃんと学ぶSKIコンビネータ を参考にしました。 例 Haskell風の書き方で説明します…
概要 ラムダ式をSKIコンビネータの式に変換するプログラムを書きました。 koba-e964/ski-comb · GitHub やったこと ラムダ式→SKIコンビネータの項の変換 実装は 高階ことりちゃんと学ぶSKIコンビネータ を参考にしました。 例 Haskell風の書き方で説明します…