#気を入れて
前編でテキトーな記事を書いてしまいました。本編のフォーマッタのことはさっぱり書かずに余談が多すぎました。フォーマッタのことについて書き加えます。
#お手本
竹内郁雄先生の書法、流儀をお手本にしています。初めての人のためのLISPに例題として簡単なプリティープリンタが紹介されています。ここではシンプルに次のルールが採用されています。
ppの原則（２５１ページ）
（１）１行にS式が打てるなら、その行に打つ。
（２）同一行に対応する開きガッコがない閉じガッコ（「お供」と呼ぼう）が並ぶときは
それの左端に空白を１個はさむ
（３）カッコのレベルが１つ深まると、段が２文字分深まる。
#お供
お供のことをすっかり忘れていました。LISPを学び始めたときにはこのお供を入れて書いていたように思うのですが、いつの間に閉じカッコはべったり詰めて書くようになってました。お供は最内部のS式についてのみ適用されるようです。その外側ではお供があってもスペースは入りません。自作フォーマッタはこれを当初、静的に解析しようとしていました。そうすると複雑なコードになってしまいました。そこで関数プログラミングからは逸脱しますが、大域変数でお供が発生していたかどうかを記憶することとしました。
#追加ルール
cond節やifなど慣習により書法が決まっているものについても清書してほしいので次のルールを追加することにしました。
追加ルール
（４）コンスにつき、先頭要素以外の要素につきいずれも文字数が１５を超えるならば
それらについてインデントする。
（５）コンスをインデントするときにおいて、組み込み関数であるときは残りの要素のインデントは
第一要素の位置に合わせる。
（６）cond節の条件帰結が１行で書けるとしても、総文字数が一定数を超える場合には条件式と帰結式を分けて書く。
（７）クオート、バッククオートのときで１行で書けないときは１文字下げて改行する。
（８）cond節など書法の慣習が定着しているシンタックスはそれに従う。
(+ なんたらかんたらあれこれああする関数 さらにあれしてこれしてさらにあれする関数)
は長くて見辛いので（４）でインデントすることとしました。
#コメント
コメントのフォーマットについては竹内先生の本では触れられていません。セミコロンを使うコメントはセミコロンが１つのもの、２つのもの、３つのものに区別されるのが慣習のようです。１つのものは改行せず、同一行の同じ列に置くのが慣習のようです。
#文字列を活用
竹内先生の本にあるように一般的なプリティープリンタは数なのか？シンボルなのか？とその型を調べてそれに応じた出力をしています。しかし、それだと同じ自然数でも 123 #Xface #O0706 #B01010101 のように多様な表現があります。オリジナルのコードの情報を失わないためにそれらはコンスを除きすべて文字列として取り込むこととしました。
#オリジナルコードの保存
foo.lspというファイルであれば、オリジナルのコードはfoo.orgに保存することとしています。開発初期段階でありformatterがこける可能性もあります。こけてもオリジナルのファイルはそのまま残るようにしています。
#利用方法
libraryフォルダのformatter.lspとしてあります。これをloadすればいいのですが、めんどくさいので起動時に-fオプションでもloadするようにしてあります。そして (formatter "foo.lsp")のようにすればOKです。
清書例
#|
初めての人のためのLISP
竹内郁雄 著 より
|#
;;;１４７ページ
(defun delete-1 (x y)
(setq y (cons 'dummy)) ;dummy set
(del2 x y) ;call del2
(cdr y) )
;;;８９ページ
(defun atom-count (x)
(cond ((nullx) 0) ;null
((atom x) 1) ;atom
;;else
(t (+ (atom-count (car x))
(atom-count (cdr x))))))
;;;７９ページ
(defun last-elm (x)
(cond ((null x) nil)
(t (last-elm2 x)) ))
;;９６ページ
(defun my-reverse (x)
(cond ((null x) x)
(t (append (my-reverse (cdr x)) (list (car x)))) ))
コードはgithubにおいてあります。