ひとつ前の記事「CatyのWeb処理： Webフィーチャとメタプログラミング」の背景の理屈を少し追加説明しておく。メモ書き程度だが。背景は、入れ子の、あるいは多段のインスティチューション。いろいろな圏が出てくる。 Graph -- 有向グラフの圏。自己ループも…

Catyのドキュメンテーションに含めるつもりの記事。CatyのモットーはできるだけWeb処理をやらないことだ。Webフレームワークとか言いながらも、一般的な言語処理の機能内でついでにWeb処理をしてしまう形態を理想としている。「Web特有の機能を付けない」「W…