JavaScriptで読む「ラムダ計算基礎文法最速マスター」 - 貳佰伍拾陸夜日記
以前書いた「ラムダ計算基礎文法最速マスター」(以下「最速マスター」)は, 予想以上に多くの人に興味を持ってもらえたようですが, 同時に難しくてわからなかったという人も多かったようです. 反響から察するに, 構文を見慣れていない(と錯覚してしまう)ことが理解の妨げになっていたように思います. ラムダ計算の構文は, 実際には全く特殊なものではありません. このことがよくわかるように, 「最速マスター」のラムダ計算の簡約の例をすべてJavaScriptの構文で書いてみました. ......という内容になるはずでしたが, 気がついたらラムダ計算のインタプリタをJavaScriptで実装していました! 実際に動かせるものは下記URLにあります. https://tarao.github.io/LambdaJS/#js 動作確認と既知の問題 Firefox 3.6 Google Chrome 4.1
チャーチ数をつくってみた - クラなんとか or くらなんとか or cla なんとかの日記
SICP の問題2.6 を見ていたら書きたくなったので，別の言語で写経してみた． #!/usr/bin/env perl # -*- mode: perl; coding: utf8; -*- use strict; use warnings; use Perl6::Say; my $zero = sub { my ($f) = @_; sub { my ($x) = @_; $x; }; }; sub add_1 { my ($n) = @_; sub { my ($f) = @_; sub { my ($x) = @_; $f->($n->($f)->($x)); }; }; } my $one = add_1($zero); my $two = add_1($one); sub plus ($$) { my ($m, $n) = @_; sub { my ($f) = @_; sub
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
