モノイドの畳み込み積を圏に一般化してみる。

http://d.hatena.ne.jp/m-hiyama/20081002/1222921844 の落ち穂拾い。 オプション名のcaseは無視される。 'foo+' は複数回指定を宛先変数に累積カウントする。 'foo=s' の宛先変数が配列なら複数回指定を配列に入れる。 オプション全体（一部でもいいのだが…

黒くて薄いコンパイラ本 -- まだ見つかってない。 ホーアのCSPの本 セリンガーの非同期の論文、いったい何回印刷したことか！