関数型言語は何故普及しないのかを考える
レス数が900を超えています。1000を超えると表示できなくなるよ。
0923デフォルトの名無しさん
2011/01/06(木) 12:35:35え? いや、それに対する応答は「モナド使えばいいじゃん」で終了している。
たしかに、lazyな言語で手続き的に書くためにはトリックが必要。
そういうトリックがないと仮定すれば、lazyな言語であることは、手続き的に書けない/書きにくいということに直結する。
だけど、実際には、そのトリックは使いやすい形ですでに用意されているのだから、手続き的に書けるかどうかとlazyかどうかは別の問題になる。
手続き的に書くためにはモナドを使えばよい。以上。
そこで、別の問題としてlazyであることに利点があるか?
関数型として純粋であるという宗教的情熱以外に?
ということに対する答えが、「LISPやJavascriptで引数なしのクロージャを使うことがある」から利点があることははっきりしている、と言っている。
Haskellerは、その利点がたまにではなく広範に活用できると思っている、ということ。
レス数が900を超えています。1000を超えると表示できなくなるよ。