为什么F#没有不可变数组？是性能原因还是.NET CLR类型系统限制？

• 首先是.NET CLR 固有类型系统的限制：CLR 原生的数组类型T[]从.NET框架初始设计阶段就默认是可变类型，这是整个.NET 生态通用的基础类型契约，CLR 对数组的内存布局、GC优化、跨语言互操作逻辑都是基于这个可变契约设计。如果F#单独实现一套脱离CLR原生体系外的不可变数组，无法直接复用CLR针对数组提供的O(1)随机访问、SIMD指令优化、GC特殊处理等底层能力，会导致自定义类型的实际性能远低于原生数组，同时也会破坏和其他.NET语言（比如C#、VB.NET）的互操作性。
• 其次是性能层面的考量：纯不可变数组要求所有修改操作都必须全量复制数组内容，在数组元素量大的场景下会产生极高的内存和时间开销。而F#已经提供了性能特征互补的不可变集合：内置的list<'T>是单向不可变链表，适合高频修改场景开销极低；如果需要不可变+随机访问能力，也可以直接通过IReadOnlyList<'T>接口包裹原生数组获得不可变访问视图，不需要额外复制内存，兼顾性能和不可变性约束。

如果确实需要全功能的不可变数组类型，可以直接使用.NET基础类库提供的ImmutableArray<T>类型，F#完全支持该类型的使用，只是为了和CLR原生数组做区分，没有为其提供[| |]这类内置语法糖而已。

内容的提问来源于stack exchange，提问作者geeko