ラムダ計算入門 この PDFを参考に、Javaでのラムダ計算を実装してみました。ついでに JavaCCを使って以下のような文を解釈できるようにしました。 (λx.x(y z)); λs.λz.s(s(sz));実際には、以下のようなコードで入力の解析と簡約化を行います。 import static ch.jpn.taoe.lambda.Parser.*; import ch.jpn.taoe.lambda.*; public class Sample { public static void main(String[] args) { Parser parser = new Parser(); String input = "((λx. x) (λx. x)) ((λx. x) (λx. x))"; Expression exp = parser.parse(new LambdaParse
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く