F#中的`do`语句在模块中何时被执行？

F# 中的 do 语句用于执行副作用，它会在模块被加载时被执行。因此，当你编写一个模块时，你可以将 do 语句用于初始化或执行任何需要在模块加载时完成的操作，例如连接数据库、创建线程等。

以下为示例代码，展示 do 语句在模块中的使用方法：

module MyModule =

    do printfn "Initializing module..."

    let add a b = a + b

    do printfn "Module initialized."

以上代码定义了一个名为 MyModule 的 F# 模块，其中有两个 do 语句。第一个语句在模块被加载时被执行，打印出初始化消息；接着定义了一个 add 函数；第二个 do 语句在模块加载完成时被执行，打印出模块初始化完成的消息。

当你使用这个模块时，模块会被自动加载并初始化。

open MyModule

let result = add 2 3
// 输出：Initializing module...
// 输出：Module initialized.
// result = 5