繰返しが何回か出てきたら関数に抽出する、というのはまあ分かるけど、 lisp でマクロを定義するタイミングは難しい。 同じような形が出てきたときにさっと定義すればいいのだけど、つい「これはマクロでごまかすんではなくて奇麗なデータ構造を考えるべきだ…

memory allocation を調査、中。

分からなくなってきたので直接 LLVM IR を書いてみている。以下 cons のつもりで書いたけど違うな、これだと唯の配列操作か。もう少し LLVM を調べないと。 define [2 x i32]* @cons(i32 %arg1, i32 %arg2) nounwind { entry: %tmp1 = alloca i32 store i32 …