F#单位类型

在F#中，单位类型（unit type）是一个特殊的类型，用于表示在函数中不需要返回任何值的情况。

单位类型也被称为()（空括号）类型，因为它由一个空括号表示。

语法

声明一个空的单位类型时，可以使用以下语法：

let myUnit : unit = ()

用途

单位类型和单元值主要用于以下情况：

1. 在函数中指示该函数不需要返回任何值。

例如，在下面的示例中，函数greeting只是向控制台输出了一条问候消息，并没有返回任何值。 在这种情况下，最好使用单位类型作为返回类型，以明确表明该函数不返回任何值。

let greeting () : unit =
    printfn "Hello, world!"

2. 作为类型标签来区分有副作用的函数和没有副作用的函数。

在函数的类型中使用单位类型，可以表明函数没有任何副作用。 然而，如果函数有副作用例如，修改了全局状态或执行了 I/O 操作，则返回类型应该不是 unit 而是其他。 通过使用单位类型，也可以更容易地标识并防止错误地调用带副作用的函数。

let sayHello (name: string) : unit =
    printfn "Hello, %s!" name

let greetPeople (people: string list) : unit =
    List.iter sayHello people

参考资料

• F# Core Library Reference - Unit Type