在 F# 中，如何将 function 投射到不同的代表？

Question

我需要将带有签名Thing -> Thing -> int的 function 转换为Comparison<Thing> 。

例如，当我有：

Array.Sort(values, mySort)

我收到一条错误消息，指出“此表达式应具有比较类型，但此处的类型为 Thing -> Thing -> int ”

当我尝试这个时：

Array.Sort(values, (fun (a, b) -> mySort a b))

（实际上，这是通过包装对象）

我收到一条错误消息，指出“类型约束不匹配。类型 ''a -> 'b' 与类型 'Comparison' 不兼容”

我应该如何提供Comparison<T> ？

仅供参考： Comparison<T>是具有签名'T * 'T -> int的委托

Answer 1

这对我有用：

let values = [|1;2;3|]
let mySort a b = 0
Array.Sort(values, mySort)

但是你有没有试过：

Array.Sort(values, Comparison(mySort))

Answer 2

奇怪的是，尽管委托签名以元组形式表示（例如'T * 'T -> int ），但您需要以咖喱形式（例如fun ab -> mySort ab ）提供您的 function 。 请参阅规范的第 6.4.2 节。