f# - List.map会不会每次都分配一个新的List？

Question

让我们考虑以下列表:

// 2 2 2 1 1 1
let xs = [2;2;2;1;1;1]

// 2 2 2 1 1 1
let xs' = List.map (fun x -> x) list

// 4 4 4 1 1 1
let xs'' = List.map (fun x -> x * x) list

在第二种情况下 List.map 会分配一个新列表吗？在第三种情况下，xs 是否会与 xs'' 共享尾部 [1;1;1]？

Answer 1

标准库倾向于使用此类函数的简单实现。

因此，这种类型的优化没有完成。

实现可以在这里找到:https://github.com/fsharp/fsharp/blob/master/src/fsharp/FSharp.Core/local.fs#L85