D言語erでも純粋に生きたい - Qiita

この記事を書いたきっかけ 1, 2年くらい前からD言語で式テンプレートを使った行列ライブラリを書いてきまして、 その時に「式テンプレートとモナドって似てるよなあ」と思ったのがきっかけです。 そこで、今回は式テンプレートを使って純粋関数型プログラミングを行ってみたいと思います。 純粋関数型プログラミング on D言語 かの有名なHaskellでは、モナドというものを用いて非純粋な計算でも純粋性を確保しているようですが、モナドとは「手続き命令書」らしいので、D言語では式テンプレートで表せます。 式テンプレートとは、次のように式の計算手順を型として保持しているようなものです。 大きな特徴としては遅延評価があり、式の値は必要になってからしか計算されません。 また非純粋な計算であっても、その計算をしなければ純粋だと言えます(ここ重要)。 つまり、式テンプレートで遅延評価さえできれば純粋関数型プログラ

[kasumani]

D言語erでも純粋に生きたい 1, 2年くらい前からD言語で式テンプレートを使った行列ライブラリを書いてきまして、 その時に「式テンプレートとモナドって似てるよなあ」と思ったのがきっかけです。 Tags: feedly, ifttt, recently r