遅延評価の話

pjss/Phine のひとが遅延評価にえらく拘っているみたいだけど、個人的には遅延評価はあまり好きじゃない。lazy を明示することで計算を省略したり遅延させたりできるのは面白い機能だとは思うんだけど、それで言語自体を肥大化させるほどの面白さが追加できるかと言われたらやっぱり疑問です。
全部遅延にして、先行評価を行わないってのなら少しは考えてもいいかも。
けど、遅延評価はやっぱり副産物で

1. mutable な式を認めない
2. non strictness な式を許容する

の２つのポイントのほうが重要なのではないかと自分は考えてたりします。