SKIコンビネーター入門以前(ついでに、PythonでSKIコンビネーター学習用ライブラリを書いた) - Line 1: Error: Invalid Blog('by Esehara' )

今日の料理 博多のソウルフードです。 サンポー食品 焼豚ラーメン 94g×12個 出版社/メーカー: サンポー食品メディア: 食品&飲料この商品を含むブログを見る 概要 ラムダ計算を学習する上において、コンビネーターというものが登場する。これは、変数が全て束縛変数となっているラムダ項で定義できるものを指す。その中で特に重要なものとして、SKIコンビネーターが存在している。このSKIだけで、基本的なラムダ計算を実装することができる。そこで、今回そのSKIコンビネーターを勉強するためのライブラリを作るのに失敗したので、その経緯を説明する。 難解関数型プログラミング言語 プログラミング言語界隈には、難解プログラミング言語というものが存在する。この難解プログラミング言語は、実用を目指したものではなく、遊びか、あるいは理論的な側面に基づいたプログラミング言語である。その中で有名でかつ、実装しやすいも

[sexmachinegunmu]

SKIコンビネーター入門以前(ついでに、PythonでSKIコンビネーター学習用ライブラリを書いた) - Line 1: Error: Invalid Blog('by Esehara' )

[zonu_exe]

みんなどうやってSKIコンビネータとか学んでくるんだろう… 僕はSKK使ってたので SKK=I って等式の存在は知ってたのと、むかし伝説のF#マスターに直接レクチャーしてもらったのでなんとか。