「コンパイラ・スクリプトエンジン」相談室16

**デフォルトの名無しさん** · 2014/07/20(日) 11:16:19.37

プログラミング言語処理系の開発に興味のある人達のスレッドです。
字句解析・構文解析から，データフロー解析，ループ並列化，データ分散，SSA変換，
CPS変換，レジスタ割付，命令スケジューリング，ソフトウェアパイプライン，
SIMD命令生成，VLIW向けクラスタリング，スクラッチメモリ向け最適化，リンク時最適化，
JIT，動的バイナリ変換等の各種最適化，それにVM，GC，低消費電力化などなど。
意味論に関する話題も歓迎です。

Wikiのまとめページ
http://www6.atwiki.jp/compilerandscriptengine/

**デフォルトの名無しさん** · 2014/12/11(木) 20:58:28.23

やさしいコンパイラの作り方と
コンパイラのうちとそとは
読み物として面白い。
でもたぶん（今じゃ）なんの役にも立たないｗ

**デフォルトの名無しさん** · 2014/12/11(木) 21:22:50.68

>>166
2011年が最後かな
言語実装パターン ―コンパイラ技術によるテキスト処理から言語実装まで
ってのをオライリーから共著で出してたはず

でも一番読み応えあるのは1999年発行の
コンパイラの構成と最適化
だと思う、この本はドラゴンブックと一緒に是非買うべきって言っても良い

**117** · 2014/12/11(木) 21:35:13.25

>>161
>文芸的なcobol+日本語ななでしこ?

cobolやなでしこは使ったことないのでわかりませんが、
私は英語を用いた言語よりはわかりやすいと思います。
コメント文での説明が要らないかどうかは作るものによりますけど。

>あるなら手にとって読んでみればいいのに

いろんな図書館に点々としてるそうで、
中にはどこにあるのかわからない図書館にある本だったりも・・・；
ちなみに、上げた24冊のうち私の工学部の校舎にある図書館に絞ると3冊しかないそうです。

>>162 >>164
中田先生の本読んでみます。
ドラゴンブックの方も取り寄せが届いたら読みます。

>>167
面白いならその2冊も読んでみます。

**デフォルトの名無しさん** · 2014/12/11(木) 21:37:16.34

>>167
> やさしいコンパイラの作り方と
> コンパイラのうちとそとは
> 読み物として面白い。

両方読んだ気がするが、内容覚えてないわ

> でもたぶん（今じゃ）なんの役にも立たないｗ

色々な人を呼び込むと言うのも、重要な役目だと思う
誰か「漫画で読むコンパイラ」とか書かないかなぁ w

**デフォルトの名無しさん** · 2014/12/11(木) 21:40:57.95

まともにやる気あるなら、その中のどれでも一つ真剣に取り組めばいいよ。

迷うのはそれからでも遅くない

**デフォルトの名無しさん** · 2014/12/11(木) 21:42:20.07

>>170
麻宮騎亜がアップを始めたようです。

**デフォルトの名無しさん** · 2014/12/11(木) 21:57:20.15

CPUの創り方が萌えキャラで出る時代だから
コンパイラ版が出る日も近いな

**デフォルトの名無しさん** · 2014/12/12(金) 03:52:20.71

疲れた時は白と黒のとびらとか。読み物だけど

**デフォルトの名無しさん** · 2014/12/13(土) 11:59:00.15

>>168
共著じゃなくてAntlrの作者が書いた本の監訳だよ

**名無しさん＠そうだ選挙に行こう** · 2014/12/13(土) 19:31:14.67

正直ドラゴンブックって内容はともかく説明はとても優しいよね
洋書はIT系に限らず懇切丁寧な事が多いと思う

**名無しさん＠そうだ選挙に行こう** · 2014/12/13(土) 22:13:39.97

虎も仲間に入れてやってください
サンプルがアレだが

**デフォルトの名無しさん** · 2015/01/19(月) 11:19:23.48

kmoriさん亡くなったって。

**デフォルトの名無しさん** · 2015/01/19(月) 11:34:19.54

yaccの一実装書いてた人か。南無

https://web.archive.org/web/20080206191946/http://d.hatena.ne.jp/kmori58/20060702/p3

**デフォルトの名無しさん** · 2015/01/19(月) 15:30:26.84

kmyaccも有名だが、「LSI-Cの作者の一人」だった。

**デフォルトの名無しさん** · 2015/01/20(火) 21:04:04.33

熊ヤックと読んでいた

**片山博文MZ** ◆T6xkBnTXz7B0 · 2015/02/18(水) 16:40:51.07

C++11の正規表現でCのスキャナーをスマートに書きたい。
しかし、コメントの扱いがややこしく、また、行番号の情報を取得する必要がある。
一行ごとに読み込むべきか、従来どおりトークンに切り分けて読み込むべきか。
全部をいっぺんに読み込んで'\n'でsplitする方法は実行時のメモリーと時間がかかると思う。
どういう戦略にすべきか？

**片山博文MZ** ◆T6xkBnTXz7B0 · 2015/02/18(水) 17:03:37.74

改行に特別なトークンを割り当てて、すべてのトークンを読み
込んだ後でトークンに行番号をつけてから改行のトークンを取り除くという
方法についてはどう思いますか？

**デフォルトの名無しさん** · 2015/02/18(水) 21:19:15.31

Cってマクロとかインクルードとか有るん？

**片山博文MZ** ◆T6xkBnTXz7B0 · 2015/02/19(木) 01:08:43.02

マクロやインクルードは、プリプロセッサーがやってくれるよ

**デフォルトの名無しさん** · 2015/02/19(木) 12:19:19.08

プリプロセッサーの展開後の行番号って要るのかね？

**デフォルトの名無しさん** · 2015/02/19(木) 19:51:00.22

無かったらエラー表示するとき不便だろ

**デフォルトの名無しさん** · 2015/02/19(木) 21:27:05.57

展開後の行番号の方がいらなくね？

プリプロセッサ文てコンパイラ側でも処理するよね？
#line とか

**デフォルトの名無しさん** · 2015/02/19(木) 21:31:56.28

コメントはプリプロセサで置き換えたらいかんのか

**デフォルトの名無しさん** · 2015/02/21(土) 01:08:42.33

SmalltalkのVM上にJavaVMを構築してんだけど、
VMの話もここで良いんだよね。

**デフォルトの名無しさん** · 2015/02/21(土) 12:59:06.48

**デフォルトの名無しさん** · 2015/02/21(土) 23:58:08.89

>>182
Cのスキャナって正規表現だけで表現できるんか？(構文解析しないで良いエディタのhilightingとかは大丈夫だけど)

**デフォルトの名無しさん** · 2015/02/22(日) 01:27:09.68

>>191
了解。

SmalltalkのVM上でDalvik VM用のclassも動かしたいんですが、
いちいちDalvik用のVMまで作るのがメンドイです。
Dalvik用のclass形式からJavaVM用のclass形式に変換するオススメのLibraryを教えて下さい。
Libraryの言語はSmalltalkに書き直しますので何でもいいです。

**デフォルトの名無しさん** · 2015/02/23(月) 17:30:23.57

>>192
scannerってlexerの一部。
lexer=scanner+tokenizer

**デフォルトの名無しさん** · 2015/02/23(月) 17:38:19.44

>>193
JEBはDalvikのdecompilerだから、コンパイルすればJVMのbytecodeに出来る。
https://www.pnfsoftware.com/

**デフォルトの名無しさん** · 2015/02/23(月) 17:41:10.47

javaで書いたDalvikのVM
http://www.eflow.jp/topics/090317.html

**デフォルトの名無しさん** · 2015/02/23(月) 22:14:05.07

C++で完結するって所に惹かれてboost::spiritを試してみたが…、これは死ねる。

**デフォルトの名無しさん** · 2015/02/24(火) 01:43:04.58

共通部分式の除去のやり方がわかんねえ
定数伝播、四則演算も含む組み込み関数の畳み込み、使わない変数の除去、
ループ展開等を同じパスでやってるんだけど
共通部分式の除去とそれをやるのに必要な不変式の判定はまた別でやった方がいいのかな
不変式かどうかはループ最適化でも使えそうなんだけど混乱してきた

**片山博文MZ** ◆T6xkBnTXz7B0 · 2015/02/24(火) 08:04:58.95

>>198
ある計算式eについて、eの部分式を互いに参照するエントリーとして再帰的にテーブルに登録する。
登録するときにソートと重複チェックを行えば、テーブルは一意化できる。
テーブルの各エントリーの参照構造は、木構造のノードを成す。

**デフォルトの名無しさん** · 2015/02/24(火) 11:33:08.23

>>198
式の属性に関する再帰方程式の近似解をニュートン法のように求めること、
これがデータフロー計算解法の本質と理解できてないんじゃない？
ドラゴンブックのavailable, killedの説明の所読んでみれば？
同じパス内でループしながら収束するまで計算するのよ。

**デフォルトの名無しさん** · 2015/02/24(火) 11:35:18.85

ドラゴンブックのどの節か書こうとしたけど本が見つからない...
とりあえず、ここのp.10から。
http://dragonbook.stanford.edu/lecture-notes/Stanford-CS143/20-Optimization.pdf

**デフォルトの名無しさん** · 2015/02/24(火) 17:44:49.00

>>199
そのテーブルに式を入れるときその式が不変かどうかを判断する部分でわからなくなってくる

>>200
ほとんど読んでないドラゴンブック見たら最適化部分についても書いてるな
これ読むの辛いな
頑張って読んで出直すか

**デフォルトの名無しさん** · 2015/02/24(火) 17:53:23.22

多分ちゃんと読んだ方がかえって早い。

共通部分式A，Bがあって、例えばBの方の除去をやると、
Bの到達性がAの到達性にも付与される。
このことは他の属性に影響を及ぼしうる。
よってもう一度計算をしないとより正確な属性を求められない。
以下ループ。
よって収束するまで繰り返すことになる。

**デフォルトの名無しさん** · 2015/02/24(火) 18:04:39.54

変化がなくなるまで最適化処理を繰り返すのはわかった

**デフォルトの名無しさん** · 2015/02/24(火) 19:26:42.04

>>197
コンパイル時間がか？

**片山博文MZ** ◆T6xkBnTXz7B0 · 2015/02/24(火) 20:45:40.84

__declspecとか__attribute__などをパースできないと正確な構造体型のサイズ
を求めることができない。しかしattribute周りの文法がメチャクチャやなあ。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2015/03/03(火) 01:05:04.60

次は"typed value"の扱いだな。定数にも型がある。型付きの値を
扱えなければ、正確な定数値を求めることはできない。

**デフォルトの名無しさん** · 2015/03/03(火) 04:49:45.03

最適化なんてイラナイよね、何処まで処理系に依存する気なんだよｗ

**デフォルトの名無しさん** · 2015/03/08(日) 14:52:45.39

初心者だがHSPって凄いね
自分でHSPみたいなの作ろうとすると途端につまづくｗ
内部でメッセージハンドルに登録していく言語だと思うんだけど
こんなにwinを感じさせない文法でwinと親和性高く作れるとは

**デフォルトの名無しさん** · 2015/03/08(日) 17:15:18.44

ランタイムの機能の量で躓くならともかくあの文法でつまづくなら>>1で概要把握して本読めば

**デフォルトの名無しさん** · 2015/03/09(月) 14:52:03.75

文法とOSに何の関係が?

**デフォルトの名無しさん** · 2015/03/09(月) 16:12:25.65

いただきジャンガリアンに辛酸をなめさせられたのだろうよ

**デフォルトの名無しさん** · 2015/03/09(月) 17:25:40.74

うーん初心者だから言い方わかんないんだけど
コマンドプロンプトのスクリプトってコマンドに従って単に実行していくだけだよね
でもwinだと実行されるのは素直に考えるとメッセージが来たとき
cでウインアプリつくるときはメッセージ毎に処理を書くけど上から順に読むスクリプトは
それはできないわけだからどう整合性取るのかなってことで悩んでた

結局メッセージ毎にリストがあってコマンドを読んだらそのリストに関数ポインタ名で追加、
メッセージ毎に呼ばれる関数はその種別のリストを上から順に実行していく
こんな感じで作ったけどこれでいいのかな

**デフォルトの名無しさん** · 2015/03/12(木) 21:28:48.21

そりゃ文法じゃなくて実行モデルだな。
イベント駆動ってことでしょ。

**デフォルトの名無しさん** · 2015/04/13(月) 21:09:38.60

「Cのコンパイラなら何日かかけて作っても良いが、C++は、一人で
作るのは嫌だ。文法をきちんとカバーするのに日数がかかりすぎるから」
と言われたよ。

**デフォルトの名無しさん** · 2015/04/22(水) 02:22:50.19

javaに近い構文の言語をつくろうとしてるんだけど、
ようやくchar配列に変換したソースから関数の外側を構文解析できた。

山括弧<>、文字列リテラル、コメントに気をつけつつ、
なんとか関数の中を無視してクラス・変数・関数の名前や型名を取得して
関数の中身にとりかかるところ。

関数の中身は丸括弧()が難関になりそう。
AAAA bbbb = ((HHHH)cccc.dddd.eeee(ffff.gggg(), jjjj)).iiii();
bbbb.kkkk = -10/(8-3)-9/-3

**デフォルトの名無しさん** · 2015/04/22(水) 20:33:48.48

>>216
まるで違う言語に見えてしまうのだが。

**デフォルトの名無しさん** · 2015/04/22(水) 21:30:55.14

>>217
最初はクラス名、メンバ変数、メンバ関数を全部調べてからじゃないと
関数の中身に取り掛かれないと思ってた。

でもクラス名・変数名・関数名に区別は不要で、記号をヒントに階層を分解して、
それから型名の存在の有無・整合性を調べるという風にフェーズを分けれそう。

でも()が演算の優先順位、型キャスト、メソッド...どれに使われているのか
区別できるかは不安。for文とかは最初に予約語が入るからやりやすそうだけど。

Person person = ((Factory)group.cache.getFactory(provider.getResource(), url)).create();
person.id = -10/(8-3)-9/-3;

**デフォルトの名無しさん** · 2015/04/22(水) 22:59:19.66

いまいち分からないけど、識別子の次にあったら関数呼び出しで
それ以外は式とかでいけないの

**デフォルトの名無しさん** · 2015/04/22(水) 23:28:51.38

いけるか分からない。とりあえずやってみるってところ

**デフォルトの名無しさん** · 2015/04/23(木) 08:14:58.39

>>219
構文次第
てか、普通識別子に続くカッコを見て初めて関数/メソッドってわかるわけだし

**デフォルトの名無しさん** · 2015/04/27(月) 01:02:40.49

メソッドの中が上手くいかんというか何から始めたら良いのか分からん
コンパイル速度が遅くなるけど、分解フェーズを何層にも分けて
何度もループで調べていけば良いのかな

**デフォルトの名無しさん** · 2015/04/27(月) 06:59:39.15

コンパイラの教科書の一冊でも読んで構文解析を勉強してみ

**デフォルトの名無しさん** · 2015/04/27(月) 09:38:16.26

C系のクソみたいな構文ルールをそのまま真似てどうすんの
自作なら作りやすいようにキーワード追加すればいいのよ

キャスト式にキーワード付けなかったのは最大の誤りの一つ

**デフォルトの名無しさん** · 2015/04/27(月) 09:56:10.90

SSA形式からスタックマシンのコード生成の最適化みたいなのに参考になる文献ってないかな？

**デフォルトの名無しさん** · 2015/04/27(月) 14:22:00.53

>>224
そうだね。HaxeとかFlashからぱくって、Ｃ形式のキャストは無くしてみるわ
int i = cast Integer ( 0.005f );
int i = 0.005f as Integer;

**デフォルトの名無しさん** · 2015/04/28(火) 18:20:14.24

最終的に何を目指そうかしら

1)LLVMで動かす　
→　超難しそう

2)Luaのように組み込みスクリプトとして動かす　
→　重そう。メモリ管理は全部ウィークポインタで良いのかな
(C/C++組み込みならnew&deleteするようなスクリプトでも良さそう)

3)JavaScriptなどに変換　
→　たぶん例外のバックトレースとかを変換するデバッグ環境が必須

**片山博文MZ** ◆T6xkBnTXz7B0 · 2015/05/05(火) 23:02:55.34

コンパイラーの品質保証は、数学で証明する時代だ！！！
Coqと数学でコンパイラーが作れる！！！
http://compcert.inria.fr/compcert-C.html

**デフォルトの名無しさん** · 2015/05/09(土) 18:57:31.49

バイトコードインタプリタつくっているんだけど
スタックマシンのコンパイラについて
パラメータスタック（データスタック）はヒープ上におくべき？
それともネイティブの領域におくべき？

**デフォルトの名無しさん** · 2015/05/09(土) 19:41:52.28

>>229
訂正
コンパイラー＞仮想機械

**デフォルトの名無しさん** · 2015/05/09(土) 20:41:51.08

>>230
ネイティブスタックにデータも置くって事だよね？
データスタックは分けておいた方がイロイロ楽だったので列挙
たしかこんなの

GC使う様な実装の時の仕分け
実行パスがJITでコンパイルコードと非コンパイルVMコードの行ったり来たりするとき
例外のスタックトレース(これもJIT時のアレコレあり)
チープマシンにVM仕込むときアセンブラで書くのが楽しい

最後はちげぇけど

**デフォルトの名無しさん** · 2015/05/09(土) 21:02:43.06

>>231
自分のVMは典型的なスタックマシンで
パラメータスタック（データスタック）とコールスタックは別です。
そのうちデータスタックをヒープ内におくか
アセンブリでかかれたほうのネイティブの領域におくかってことです。
ネイティブ領域においたほうが実際のアドレスとVM上でのアドレスの変換がないので
速度としては速いのですが
欠点としてバイトコードからスタックを参照することができません
焦点とてしてはそもそもバイトコードからスタックを参照することがあるのかということで、
基本的になければネイティブ領域におこうかとおもっています
これまでつくった経験がないので設計としてどちらがよいかわからずお聞きしました

**デフォルトの名無しさん** · 2015/05/10(日) 09:31:50.02

>>232
> 焦点とてしてはそもそもバイトコードからスタックを参照することがあるのかということで、
バイトコードの設計は終わってるんじゃないのか？
バイトコードの設計終わってりゃ参照の必要があるかどうかはわかってるだろうし、バイトコードの設計終わってないのに VM の構成考えてるならお前が終わってる

**デフォルトの名無しさん** · 2015/05/10(日) 09:50:11.77

>>233
その通りわ
出直して来ます

**デフォルトの名無しさん** · 2015/05/19(火) 18:50:21.34

番兵の文字は
utf-8でも16でも32でも-1でいいんですか？

**デフォルトの名無しさん** · 2015/06/24(水) 17:14:03.39

動的型付けってLLVMだとどうやって実装するんだろ

**デフォルトの名無しさん** · 2015/07/10(金) 19:59:28.32

構文解析+Cに変換して内部でgcc呼んでコンパイルするプログラムはコンパイラって呼んでいいの？

**デフォルトの名無しさん** · 2015/07/10(金) 20:11:15.28

トランスレータじゃねえの

**デフォルトの名無しさん** · 2015/07/11(土) 08:23:11.34

>>238
変換したＣコードを出すならトランスレーターだけどバイナリまで出すならコンパイラーでいいだろ

**片山博文MZ** ◆T6xkBnTXz7B0 · 2015/07/28(火) 03:30:13.81

果たして文法を仮想化できるか

**デフォルトの名無しさん** · 2015/08/19(水) 08:24:37.58

凄いこと発見したんだけれどもΛの記号は上の尖がったところがルートで
下の二つの棒が辺を表しているんだな

**デフォルトの名無しさん** · 2015/08/19(水) 22:05:03.04

言語非依存の仮想マシンっていうアイデアがいまいち大成功していないように見えるのって
なんか理由があるのかな。

**デフォルトの名無しさん** · 2015/08/19(水) 22:59:51.18

落ちてたllvmスレを立て直した

【最速へ】LowLevelVirtualMachine 2【LLVM】
http://peace.2ch.net/test/read.cgi/tech/1439992758/

**片山博文MZ** ◆T6xkBnTXz7B0 · 2015/08/19(水) 23:17:16.98

>>242
めちゃくちゃ成功してまんがな。LLVM,clang知らないの？

**デフォルトの名無しさん** · 2015/08/20(木) 00:06:05.42

>>244
実際に成功していても成功していないよ・う・に・見・え・るって話じゃないの？
XCodeのコンパイラがllvm,clangだってのは開発者にしか見えないしclangの話だけ聞いているとgccが組み込み機のCPUに対応してたころみたいに派手に活躍してるとは感じられないって事じゃ無いの？

**デフォルトの名無しさん** · 2015/08/20(木) 04:55:31.33

たぶん外国には、CASL2のような仮想アセンブラを使う、
情報処理試験が無いのだろう

2人の大学生が作ったLLVMに、Appleが飛びついた。
それで、Lattner はAppleに就職した

**デフォルトの名無しさん** · 2015/08/20(木) 11:06:47.70

良く言えば新世代の輝き
悪く言えば発展途上の不安定さ
さらに組み込みで言えばカバー範囲の幅広さは犠牲にされがち

将来性でメシが食えるのはごく一部

**デフォルトの名無しさん** · 2015/08/20(木) 11:31:12.43

痛い文章だ

**デフォルトの名無しさん** · 2015/08/24(月) 00:47:20.35

マルチメソッドを効率よく実装するにはどのようにすればよいですか？

**デフォルトの名無しさん** · 2015/08/24(月) 01:10:40.39

マルチメソッドって何？

**デフォルトの名無しさん** · 2015/08/24(月) 01:36:14.61

OOPの最も基本的な機能です
引数によって、メソッドが切り替わります
多態といいます

**デフォルトの名無しさん** · 2015/08/24(月) 02:01:55.26

オーバーロードのことですか？
ではマングリング

**デフォルトの名無しさん** · 2015/08/24(月) 02:21:03.16

マルチメソッドはオーバーロードでは無いです
一般にオーバーロードは静的ですが、
マルチメソッドは動的です

**デフォルトの名無しさん** · 2015/08/24(月) 08:00:36.10

>>251
> 引数によって、メソッドが切り替わります
はい？

**デフォルトの名無しさん** · 2015/08/24(月) 08:19:25.57

clojureのdefmultiみたいな奴じゃないの？

**デフォルトの名無しさん** · 2015/08/24(月) 11:49:46.23

多重ディスパッチのニッチな要求に応えるものか
それとも単純な動的バインディングだけの問題なのか

**デフォルトの名無しさん** · 2015/08/26(水) 18:36:02.43

マルチメソッドはC++相談室を検索すればなんなのかがわかる

**片山博文MZ** ◆T6xkBnTXz7B0 · 2015/08/30(日) 17:45:45.69

>>249
パターンマッチを効率よく行う

**デフォルトの名無しさん** · 2015/08/30(日) 19:15:42.50

型を連想配列やトライ木で管理すればO(1)

**デフォルトの名無しさん** · 2015/08/30(日) 20:08:17.93

>>259
clojureはソレだね

**デフォルトの名無しさん** · 2015/09/17(木) 12:38:19.48

中間言語の設計に関するノウハウとかアンチパターンとかが書かれた本誰か知ってる？
LLVMとかP-codeとかJava VMとか、あるいはKnuthのMIX/MMIXみたいな機械語に近いレベルの言語を
ソフトウェア実装すること前提に設計する場合について知りたい。

今言語設計してて、そろそろ構文解析できそうだから学んでおきたいんだけど。

**デフォルトの名無しさん** · 2015/09/17(木) 19:56:34.99

最初はネイティブに落とした方がいいぞ
中間言語とか遠回りしてたらアホみたいだぞ

**デフォルトの名無しさん** · 2015/09/18(金) 15:07:01.58

そんな物他人に教わるくらいならおとなしく既存のを使っとけ

**デフォルトの名無しさん** · 2015/09/18(金) 20:35:24.73

本として出して需要あるか？もしかしたらサーベイ論文なら探せばあるかも

**261** · 2015/09/18(金) 21:16:12.07

>>262
素直にコンパイル出来ない言語を設計してるので(clispのような)、snippetの表現をx86/amd64表記にする意義が薄いんですよね。

>>263
凝り性なもので。

>>264
一応ciniiは一通り眺めたけど、中間言語の設計に関する論文って無いんですよね。
素直に「中間言語」で調べると自然言語の翻訳に使う方が大量に引っかかってつらい……

**デフォルトの名無しさん** · 2015/09/18(金) 22:17:11.93

>>265
動的型付け必須系？
ならErlangの論文とか資料あさるといいかも

**261** · 2015/09/19(土) 09:19:04.79

>>266
swiftのように演算子をユーザー定義出来て、
c++のように同名異引数の関数を定義出来て、
Lispのように引数間のカンマが要らず、
Rubyのようにカッコを省ける
そんな言語を設計中です。

それらの両立のために実行中に文法を書き換えて構文解析器を再構成するという手法を採ってるので、コンパイル出来ないんですよね……
clispのリードマクロを文脈依存に拡張したものだと言えば大体あってるかと。

ちょっとErlang関連の資料を見てみます。