例如在http://msdn.microsoft.com/en-us/library/ee370378.aspx List.map : ('T -> 'U) -> 'T list -> 'U list
.
抱歉,如果这听起来过于简单,但谷歌搜索没有找到任何解释。
谢谢!
最佳答案
在这种情况下,'T
和 'U
是任意类型。
在其他情况下,可以使用约束对 '
施加限制。
有时,名称可能是描述性的,例如 'key
或 'value
。在 F# 中,关键是类型前的 '
使其成为泛型。
类似地,类型可以以 #
为前缀,它允许任何可以向上转换为给定类型的类型。
使用内联方法的更复杂的类型约束可以与类型名称前的 ^
一起使用,允许使用 .Net 类型系统无法实现的成员约束,并且只能与 F# 内联函数一起使用。
关于f# - 'T and ' U 在 F# 中是什么意思?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/17206318/