F# - 模块

根据 MSDN 库，F# 模块是 F# 代码结构（例如类型、值、函数值和 do 绑定中的代码）的组合。它实现为一个公共语言运行时 (CLR) 类，该类只有静态成员。

根据整个文件是否包含在模块中，模块声明有两种类型：

• 顶级模块声明
• 局部模块声明

在顶级模块声明中，整个文件都包含在模块中。在这种情况下，文件中的第一个声明是模块声明。您不必缩进顶级模块中的声明。

在局部模块声明中，只有在该模块声明下缩进的声明才是模块的一部分。

语法

模块声明的语法如下：

// Top-level module declaration.
module [accessibility-modifier] [qualified-namespace.]module-name
   declarations

// Local module declaration.
module [accessibility-modifier] module-name =
   declarations

请注意，访问修饰符可以是以下之一：public、private、internal。默认为public。

以下示例将演示这些概念：

示例 1

模块文件 Arithmetic.fs：

module Arithmetic
let add x y =
   x + y

let sub x y =
   x - y
	
let mult x y =
   x * y
	
let div x y =
   x / y

程序文件 main.fs：

// Fully qualify the function name.
open Arithmetic
let addRes = Arithmetic.add 25 9
let subRes = Arithmetic.sub 25 9
let multRes = Arithmetic.mult 25 9
let divRes = Arithmetic.div 25 9

printfn "%d" addRes
printfn "%d" subRes
printfn "%d" multRes
printfn "%d" divRes

编译并执行程序后，将产生以下输出：

34
16
225
2
110
90
1000
10

示例 2

// Module1
module module1 =
   // Indent all program elements within modules that are declared with an equal sign.
   let value1 = 100
   let module1Function x =
      x + value1

// Module2
module module2 =
   let value2 = 200

   // Use a qualified name to access the function.
   // from module1.
   let module2Function x =
      x + (module1.module1Function value2)

let result = module1.module1Function 25
printfn "%d" result

let result2 = module2.module2Function 25
printfn "%d" result2

编译并执行程序后，将产生以下输出：

125
325