如何在 F# 中实现返回 void 的接口成员

Question

想象一下 C# 中的以下接口：

interface IFoo {
    void Bar();
}

如何在 F# 中实现它？我在 30 分钟的在线搜索中找到的所有示例都仅显示具有返回类型的示例，我认为这在函数式风格中更常见，但在这种情况下我无法避免。

这是我到目前为止所得到的：

type Bar() =
    interface IFoo with
        member this.Bar() =
            void

_FS0010 失败：

表达式_中出现意外的关键字“void”。

Answer 1

等价的是unit，语法上定义为()。

type Bar() =
    interface IFoo with
        member this.Bar () = ()

Answer 2

有关 F# 类型的一般信息，请参阅

F# 类型的基本语法

从该页面：

单位类型只有一个值，写为“()”。它有点像“void”，从某种意义上说，如果您有一个仅调用副作用的函数（例如 printf），那么这样的函数将具有“unit”的返回类型。每个函数都接受一个参数并返回一个结果，因此您使用“unit”来表示参数/结果无趣/无意义。

Answer 3

返回类型必须是 ()，所以像 member this.Bar = () 这样的东西应该可以解决问题

Answer 4

F# 中的等效项是：

type IFoo =
    abstract member Bar: unit -> unit