関数型プログラミング言語Haskell Part32

[350 デフォルトの名無しさん 2019/05/12(日) 15:06:12.68 ID:11og9P/f]

f xs = let g = \x -> 2 * x in map g xs

この場合、ラムダは最初に一回メモリにアロケートされて g に束縛されるよね。

でも、もしかして、

f xs = map (\x -> 2 * x) xs

これって、f が呼ばれる度に map の第一引数のコード(ラムダ)がメモリにアロケートされるの？