F# 是否具有行多态性（或类似的东西？）

Question

F# 是否具有行多态性或类似的东西？具体来说，在 OCaml 中，我们可以写一个类似的函数

# let foo x = x#num+2;;
val foo : < num : int; .. > -> int = <fun>

基本上，函数foo 可以接受任何包含num 类型int 的方法的对象。我不确定如何在 F# 中做类似的事情。如果可能的话，我想避免通过继承进行显式子类型化。具体来说，我不是在寻找这样的东西：

[<AutoOpen>]
module Foo

[<AbstractClass>]
type foo() =
    abstract member num : int

type foo1() =
    inherit foo()
    override this.num = 2
    member this.char = 'a'

type foo2() =
    inherit foo()
    override this.num = 3
    member this.string = "abbacadabba"

let f (x:foo) = x.num + 2

原因是即使我们可以在f 中使用foo1 和foo2 类型的对象，我们也无法分别访问它们的其他成员char 和string。为了重新获得这些信息，我们必须使用双重调度技巧，例如访问者模式，我正在努力避免这种情况。基本上，我试图获得类似行多态性而不是子类型的东西。

Answer 1

这是一种方法：

let inline foo (a: ^a) = 
    let x = (^a : (member num: int) (a))
    x + 2

type monkey() =
    member x.num = 2
type pig() =
    member x.num = 3

let x = monkey()
let y = pig()

foo x // = 2+2=4
foo y // = 3+2=5