t<'a>F#和'a tF#之间的含义有什么区别吗？即使在声明之后它们可以互换使用吗？
问问题
683 次
4 回答
14
没有区别，是的，即使在声明之后它们也可以互换使用。
但请注意F# 组件设计指南建议（第 4.2 节）：
考虑使用泛型的前缀语法 (
Foo<T>) 而不是后缀语法 (T Foo)，但有四个值得注意的例外 (list,option,array,ref)。F# 继承了命名泛型类型的后缀 ML 样式，例如“<code>int list”以及前缀 .NET 样式，例如“<code>list<int>”。除了四种特定类型之外，您应该更喜欢 .NET 样式。对于 F# 列表，使用后缀形式：“<code>int list”而不是“<code>list<int>”。对于选项，使用后缀形式：“<code>int option”而不是“<code>option<int>”。对于数组，使用语法名称“<code>int[]”而不是“<code>int array”或“<code>array<int>”。对于
refs，请使用“<code>int ref”而不是“<code>ref<int>”或“<code>Ref<int>”。对于所有其他类型，使用前缀形式：“<code>HashSet<int>”、“<code>Dictionary<string,int>”、
此外，如果您使用 ML 风格的通用参数列表表示法，例如('a,'b) tvs. ，您将收到编译器警告t<'a,'b>。
在此过程中，请注意同一指南第 3.1 节中的以下建议：
对公共 API 中的通用参数名称使用 PascalCase，包括面向 F# 的库。特别是，对任意通用参数使用 T、U、T1、T2 等名称，当特定名称有意义时，对于面向 F# 的库，使用 Key、Value、Arg 等名称（但不包括 TKey）。
（尽管我个人倾向于忽略面向 F# 的公共库的这一建议）。
于 2012-04-16T01:33:57.663 回答
3
完全没有区别，不确定这是否值得一个完整的答案！我更喜欢前者，尤其是在涉及多个类型参数时（后者可能吗？）。
于 2012-04-16T00:22:36.070 回答
2
我认为'a t语法更惯用（它在几乎所有 MSDN 示例中都使用，并且由编译器发出，将为签名文件生成该语法）
数组有一个类似的例子
int[] , int array
具体参数的'a t语法也更好 -
int list, List<int>
所以一些一致性主张'a t
于 2012-04-16T00:47:21.137 回答
1
我会说区别在于可读性。对于一个参数，'语法并不过分令人困惑，但是当您获得它们的列表时，阅读尖括号版本会变得更加容易。
于 2012-04-16T00:36:45.023 回答