为什么F#中的seq是小写字母开头？

你的猜测完全符合实际情况，具体原因可以拆解为以下几点：

• seq<'T> 本质是.NET 基础类库中 System.Collections.Generic.IEnumerable<'T> 的F#专属类型别名，并非F#核心库原生定义的新集合类型。而你观察到的首字母大写的集合如 List<'T>、Set<'T>、Map<'T> 都是F#团队独立设计的原生集合类型，遵循.NET 类型命名规范（帕斯卡命名法，首字母大写），因此都是大写开头。
• 特意使用全小写的seq作为别名，主要是出于实用性和习惯对齐的考虑：序列是F#中使用频率最高的集合类型之一，小写别名书写更简洁，也和OCaml等前辈函数式编程语言中序列的命名习惯保持一致，降低其他函数式语言开发者的迁移成本。

你可以通过简单的代码验证两者的等价关系，在F#交互中执行以下代码会返回true：
typedefof<seq<int>> = typedefof<System.Collections.Generic.IEnumerable<int>>

额外说明：尽管seq是类型别名，但F#为它提供了专属的序列表达式语法、数十种高性能的集合操作拓展方法，使用体验远优于C#中直接操作IEnumerable<'T>，完全是F#一等公民级别的核心抽象，不用因为它是别名就觉得它和其他原生集合有功能差异。

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