expression templateってモナドだよね。 @ 2006年06月 @ ratio - rational

2006年06月03日

特にIOモナドとか、boost uBLASのexpression template技法そのまんまという気がする。boost spiritも近いかな。expression templateもまた、コンパイル時に「どうやって計算するか」を値として、実行時はその値を利用する訳で。

C++ templateによるメタプログラミングを言語内言語と捉えれば、その副作用を持つのが難しいという性質から、思想こそ圏論でなくモナド律を前面に押しだしこそしていないけれど、似たようなものが見られるのは必然なのかもしれない。

長いことC++TemplateでExpression Templateを使ってきたのですが、今となっては先にHaskellを学んでからC++Templateをはじめれば楽だったろうなあと思う次第。
逆にMonadを理解するならC++Templateを先にかじった方がわかりやすいかも。

よくわからない理由により、コメントが即座には反映されないかもしれませんか゛、ボタンを押して元の画面に戻ってきたならたぶん正しく送信されています。