函数返回类型中的 F# 多态性

Question

这是一个简单的类型层次结构。

type Parent() = class end
type Child() = inherit Parent()

我想将 ('x -> Child) 类型的函数视为 ('x -> Parent):

let f (x: 'x): Child = new Child()
let g: ('x -> Parent) = f // error

但是最后一个赋值失败了，消息是The type 'Parent' does not match the type 'Child'。有什么办法可以做到这一点吗？

Answer 1

您可以使用 upcast operator (:>)让它工作:

type Parent () = class end
type Child () = inherit Parent ()

let f x = Child () // val f : x:'a -> Child
let g x = f x :> Parent // val g : x:'a -> Parent