createUniqueLocalName() は gensym だな。（マクロが新しい変数や関数を定義する場合、既存のコードと衝突しない名前を自動的に作ってくれる。）

8:18 AM

TrackingやLoggingをFunction単位で差し込めるようなAspect Oriented Programmingを実現できるような機能はいったん見送りかな？ (edited)

8:21 AM

マクロは引数と戻り値が型チェックされて、型があってても失敗するような引数が来た場合はエラー情報を返せるインターフェースがある、具体的になったのはそれくらいかな？