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正規形は何の役にたちますか？ コンパイラのコード生成時の中間表現として使
Index of Compiler Resume
コンパイラ演習レジュメ '98年度情報科学実験IIコンパイラ演習のレジュメです。1から8までは田浦さん、9は遠藤さんによるものです。 ただし、ここにはレジュメの約半分、課題までの部分は載せてありますが、課題の答えは載っていません。(^^) 課題説明 仕様説明 CPSの定義 最適化(1) Closure変換 Register割り当て + 抽象機械コード生成 実マシンコード生成 Garbage Collection 一般教養としてのGarbage Collection 〔トップページへ〕 〔「ソフトウェアの作成」のindexページへ〕 <vu@is.s.u-tokyo.ac.jp> Last updated on 16 May, 1999
CodeZine：JavaScriptでつくるSchemeインタプリタの基礎の基礎（lisp）
はじめに 現存するプログラミング言語の中で2番目に古いのがLispです。生まれは古くても、いまだに使われ続け、また、Rubyなどの新しい言語にも影響を与えています。そのLispの派生であり、シンプルさが売りなのがSchemeです。 ここではSchemeの簡単なインタプリタをJavaScriptで作ってみます。対象読者 本稿はLispやSchemeは少し触ったことはあるけど、インタプリタは書いたことがないという方を読者対象としています。また、JavaScriptの文法や、簡単なデータ構造についての知識を前提とし、説明は省きます。必要な環境 テキストエディタと、JavaScriptが動くWebブラウザがあれば十分です。他に特に用意するものはありません。概要作成するインタプリタについて インタプリタのコードはJavaScriptで書き、HTMLのフォームを使って、Schemeのプログラムの入力お
File Not Found: Indiana University
File Not FoundSorry for the inconvenience, the page you requested could not be found.
LispMe Document: chapter6 The SECD virtual machine （日本語訳）
6 The SECD virtual machine 6.1 The original SECD machine SECDはVMの4つの主なレジスタからその名前がきている。 S スタック - 評価中に中間の値を保持する E 環境 - 評価中に変数の値を保持する C コード - 実行中の機械語プログラムを保持する D ダンプ - 関数呼び出し中の他のレジスタを保持するスタック 理論上、SとDはひとつのレジスタに結びつけられる。 しかし、VM命令の状態遷移を複雑にする。 各レジスタはS式(へのポインタ)を保持する。 VM命令の影響を示すため、状態遷移が用いられ、 VMステップの前と後での各レジスタの内容を示す。 s e c d → s' e' c' d' 例えば、スタックのトップに定数をロードするVM命令のLCDの状態遷移は s e (LCD x.c) d → (x.s) e c d これは
An Introduction to Scheme and its Implementation - Table of Contents
Overview Scheme: A Small But Powerful Language Who Is this Book For? Why Scheme? Why Scheme Now? What this Book Is Not Structure of this Book Introduction What is Scheme? (Hunk A) Basic Scheme Features Code Consists of Expressions Parenthesized Prefix Expressions Expressions Return Values, But May Have Side-Effects Defining Variables and Procedures Most Operators are Procedures Definitions vs. Ass
Gauche - A Scheme Interpreter
VMのスタック操作 (未完) GaucheのVMはごく単純なスタックマシンである。 だが、Schemeの場合、first class continuationを実現するために、 スタックフレームがヒープにセーブされたり、逆にヒープからスタックに復元されたりという 操作が入って来るので、うっかりすると自分でも混乱してバグを持ち込むことがある。 後で思い出せるように、ここに整理しておこう。 基本レジスタ スタック操作に深くかかわるのは次のレジスタ群。 ScmEnvFrame *env 現在の環境のトップ。いわゆるstatic link。直接には、 最も内側の静的スコープで見えている環境を指している。 upポインタをたぐってゆけば上の環境に行ける。upポインタはNULLで終端される。 ScmContFrame *cont 現在のコンティニュエーションフレームのトップ。 いわゆるactivatio
丼日記
広告とかウザくなってきたのでBlogger に移動しました。ここは一応消されるまで残しますが、コメントとかもらっても多分気づかないので唯の過去ログだと思って下さい。 Mutable array の prefix sum を余計なメモリを消費せずに計算したい時など、「基本的には mapM_ なんだけど、map してる関数の挙動がそれまでに map し終わった部分の結果に依存して欲しい」ような計算の時、私は foldM_ を使ってたんだけど、これが時々、恐ろしく遅い。例えば psum :: STUArray s Int Double -> Int -> ST s () psum a n = foldM_ f 0 [0 .. n] where f x i = do y <- readArray a i let z = x+y readArray a i z return zなんて書くと、配列の大
なんでも継続
Shiro Kawai まだ下書き Schemeの特徴をあげるときに、「継続」や「call/cc」が出て来ないことはない。 でも、R5RSのcall/ccの項をいくら読んでも、どうもよくわからない。 call/ccを使えばC言語のbreakみたいなのとか、コルーチンとかいう スレッドもどきとかが書ける、というのはわかったけど、一体そういうのが書けて 何が嬉しいのか、そこんとこがピンと来ないんだ。 今、そこにある継続 プログラミングの世界の概念には、禅の公案のようなものがある。 それを説明する文章はほんの一文なのに、最初に目にする時、 その文は全く意味をなさない、暗号のように感じられる。 だがひとたびその概念を理解すると、 その概念の説明は確かにその一文で説明されているのがわかるのだ。 そんな、「分かれば分かる」という禅問答の中でも 「継続」は最も謎めいたものの一つと言えるだろう。 文献を
Schemeの実装におけるスタックフレーム
これはあくまで実装の一例であって、詳細は言語処理系のデザインに任されています。 また、以降の例ではスタックは下方(アドレスの低い方)に伸びるものとします。 まず、C等の手続き型言語におけるスタックフレームの使い方を復習しておきましょう。 次のように、関数Aが関数Bと関数Cを呼び出しているものとします。 int A(int a, ...) { int b, c; B(b); C(c); } int B(int b) { int b1; /* other calculation */ } int C(int c) { int c1; /* other calculation */ } 関数Aが呼ばれた直後のスタックには、保存された呼び出し元のレジスタ、戻りアドレス、 そしてAの引数 (a等) とローカル変数 (b, c) 等が積まれます。スタックポインタ(SP)はスタックの再下端を指し、またフ
Schemeを作ろう VAFXImg など
プロフィール ときどきこっそり更新。 僭越ながら自己紹介をば。投げやりですが。 平山直之/白浜青雪 生年月日 S48/04/11 出身校 早稲田大学第一文学部卒（6年を要す） 職業 プログラマ（ゲーム） 使える言語 C++/C LISP(scheme) (Object)Pascal perl/sed/awk BASIC アセンブラ 実際に経験があるのはこんなものかな？ 結構言語オタクなので頭でだけ知ってるものは多数。 語らせるとウルサいこと バスケ・サッカーの戦術（トラウマのせい） 漫画・ゲームの評論 他のアトリビュート 著書があるがウソ書いちゃったので忘れたい。 プログラマ的生い立ち 小学生のころ 合理主義が周囲のものどもに受け入れられなかったらしく、結構いじめられた。今にして思えばいじめられて当然だが。 剣道と野球をやってた。どっちもあまりまじめにはやってない。 小学生の頃はパソピア/
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Ｐ２Ｐな自作ソフトとＬＩＳＰ言語 メインページ
凖引用 (Quasiquotation) - higepon blog
https://cs.indiana.edu/~dyb/pubs/LaSC-5-4-pp295-326.pdf
SECD machine - Wikipedia
https://cs.indiana.edu/~dyb/papers/3imp.pdf
Nexylan