f# - F# 显式类型参数的用例是什么？

Question

据我所知，值定义中的显式类型参数是克服“值限制”问题的一种方法。
还有其他需要用到的情况吗？

更新:我的意思是“显式通用构造”，其中类型参数括在尖括号中，即

let f<'T> x = x

Answer 1

多态递归是另一种情况。也就是说，如果你想在函数体中使用不同的泛型实例化，那么你需要在定义上使用显式参数:

// perfectly balanced tree
type 'a PerfectTree = 
| Single of 'a
| Node of ('a*'a) PerfectTree

// need type parameters here
let rec fold<'a,'b> (f:'a -> 'b) (g:'b->'b->'b) : 'a PerfectTree -> 'b = function
| Single a -> f a
| Node t -> t |> fold (fun (a,b) -> g (f a) (f b)) g

let sum = fold id (+)

let ten = sum (Node(Node(Single((1,2),(3,4)))))