特にIOモナドとか、boost uBLASのexpression template技法そのまんまという気がする。boost spiritも近いかな。expression templateもまた、コンパイル時に「どうやって計算するか」を値として、実行時はその値を利用する訳で。
C++ templateによるメタプログラミングを言語内言語と捉えれば、その副作用を持つのが難しいという性質から、思想こそ圏論でなくモナド律を前面に押しだしこそしていないけれど、似たようなものが見られるのは必然なのかもしれない。
![[Feed]](/images/rss.png?1316425903){kind=small}
RSS![[Feed]](/images/atom.png?1316425903){kind=small}
Atom
コメント
長いことC++TemplateでExpression Templateを使ってきたのですが、今となっては先にHaskellを学んでからC++Templateをはじめれば楽だったろうなあと思う次第。
逆にMonadを理解するならC++Templateを先にかじった方がわかりやすいかも。