A正規形まとめ - Scheme VM を書く - higepon blog
A正規形についてまとめました。日本語の資料があまりに少ないのでまとめたのですが、正直理解できているか不安です。間違いを含んでいる可能性がある点にご注意ください。 間違いのご指摘やツッコミ大歓迎です。 あと念のため書いておきますが題材は、Schemeですが、A正規形自体はLispやSchemeに特化した話ではなく、もっと一般的な話です。 A正規形の論文 The Essence of Compiling with Continuations - Flanagan, Sabry, Duba, Felleisen (ResearchIndex)という論文で解説されています。 この論文を読んで自分なりに理解できたことをここに書いています。 理解の前提 Scheme の let 式が分かっていないと理解が難しいかもしれません。 A正規形は何の役にたちますか？ コンパイラのコード生成時の中間表現として使
「圏論」 インデックス
更新状況などは、こちら （Hatena::Diary 「檜山正幸のキマイラ飼育記」）でご確認ください。 「キマイラ飼育記」のRSSは http://d.hatena.ne.jp/m-hiyama/rss から取得 できます。 このインデックスの並び順は、アップロードされた時間の順です。新しい記 事は最後に追加されます。 ETBダイアグラム スーパーポージング公理からスーパーポージング定理へ スーパーポージング公理からスーパーポージング定理へ 図だけ コンパクト閉圏 お絵描き圏論 トレース付きモノイド圏における結合 コンパクト閉圏を定義する セオリーの圏 図式順テキスト記法（DOTN） ストリング図による複合モナドの計算 (1) トレースとモノイド積／結合 コンパクト閉圏における結合 コンパクト閉圏を定義する その2 Int（GoI）構成
CPS（継続渡し方式）変換をJavaScriptで説明してみるべ、ナーニ、たいしたことねーべよ - 檜山正幸のキマイラ飼育記 (はてなBlog)
久々にThe n-Category Cafeを見たら、Mike Stayによる"The Continuation Passing Transform and the Yoneda Embedding"なんて記事がありました。 米田埋め込みは圏論ではお馴染み。継続渡しへの変換はコンピュータ・プログラミングではお馴染み。 この2つは、実は同じものなんだよ。なんで、誰もこのことを言わないんだろうね？ The Yoneda embedding is familiar in category theory. The continuation passing transform is familiar in computer programming. They're the same thing! Why doesn't anyone ever say so? Mike Stayのこの記事、面白いのだ
RubyCocoa のサイトを収集してみた - つぶやき〜
自分の gmail ドラフトに貯めていたんだけど、外に出した方が良いので。 Ruby しか分からないのですが、RubyCocoa を覚えるとっかかりになりそうなサイトを集めました。 RubyCocoa のよく分からないメソッド名で困ったら、使い方の例は cd /Developer/Examples/RubyCocoa grep -R 'initWithHogefuga' * で探せば良さそう。あとグーグルで。 Cocoa のリファレンスは Xcode から右クリックで引ける。良い。 あとグーグルでw # ずいぶんとっちらかってます、すいません。 # コメントも自分向けだったのでかなり適当です、間違いや不適当なものがあればコメント等で教えて下さい。 RubyCocoa 入門 http://limechat.net/rubycocoa/tutorial/ LimeChat for OSX の作
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
