ギレンさんが - Yet Another Ranha
「諸君らの愛した表示的意味論(R5RS)は死んだ。なぜだ?」 と述べられた時、シャアさんはR6RSに鑑みて、ひいてはプログラミング言語意味論を思ってどう答えるのでしょうか? 教えてください。m(_ _)m ここに至った流れ 藍ちゃんの「表示的意味論て要らない子なん?」ていう質問について考える ↓ 紆余曲折 ↓ 領域理論から圏論へと接続したい どうすれば はっ！領域方程式はどうだろう。逆極限法とか！ ↓ 領域方程式でググる http://lambda.bugyo.tk/hatena/r5rs.html つまり・・・説明になっとらん！ ↓ "Scott-Strachey Approach to Programming Language Theory"は読んでみたい ところで、歴史的な流れで書くと、ストレイチー・スコットなんでは無いでしょうか。どうなんでしょうか? ↓ ところで、改めてですけどS
Island Life
無限cxr 「carとcdrの合成 (car, caddr, cadddr,...)って4段階までしか無いのか」ってツイートを見かけたので、無限に合成されるのを作ってみた。 あらかじめ定義しておかなくても、ソースコードを読んだ時点で展開されるので、 いくらでも長いc[ad]+rを使える。 これを使えば『Land of Lisp』のビリーとボブの会話も実行できるぞ! (setf *readtable* *cxr-readtable*) ;;「ジブラルドルのエメラルド」が今週末に超特急列車で運搬される (defparameter *train* '((controls) (empty security-camera) (gem) (empty guard1 empty empty guard2) (passenger-seat passenger-seat passenger-seat pas
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
