Pretty print
Over the years 長年にわたって
This new library is based on a single way to concatenate documents,
which is assosiative and has a left and right unit.
結合的で左右単位元をもつ一つの方法でドキュメントを結合する
Hughes のライブラリは2つの明確な方法でドキュメントを結合していた (1995年)
horizontal and vertical, with horizontal composition possessing a right unit but no left unit,
and vertical composition possessing neither unit.
水平コンポジションには右単位元はあるが左単位元がない
垂直コンポジションには単位元がない
Derek Oppen によって、広く使われる命令形の pretty-printer が発表された (1980年)
Oppen の作品は Caml で書かれた pretty-printing 関連ツールの基盤となっているように思われる
ここで紹介される pretty-printer は等価なアルゴリズムに基づいているが、Oppens の作品と異なり命令形スタイルではなく関数型スタイルで記述している
Hunghes と Oppen の更なる比較については結論で述べる
pretty printer ライブラリの全体のコードは本章の最後に載せる