>>469
自分も

f (1+2) (1+2)

とかすれば、自動的に(1+2)の部分をメモ化してくれるのかな？とか思った時期もあったけど、違うっぽいですよ？
あくまで

x = 1 + 2
f x x

とした場合のみ、らしいので、自分の感覚では、手続き型で変数に計算結果を代入してから使うのと同じだなぁ･･･とか思ってる。
結果が数値そのものか、数値を差すポインタかの違いだけで。
あなたの言うメモ化を実現するコードがあったら、私も見たい。覚えたい。使いたい！！
(私もまだまだ未熟なので）