F# 详细语法
最后修改于 2025 年 5 月 24 日
本文探讨了 F# 中的详细语法，它为轻量级语法可能含糊不清的情况提供了显式的语法规则。
F# 支持两种语法变体：轻量级和详细。详细语法需要更多的关键字，但可以解决复杂代码中的歧义。它在接口实现、类型扩展和某些表达式中特别有用。
详细语法始终可用，允许您将其与轻量级语法一起用于某些构造。虽然不常用，但详细语法的好处是不那么依赖缩进，使其在结构化代码布局中更具容错性。
主要区别包括绑定后使用 in 关键字，条件语句中使用显式的 then，以及循环中使用 done。
启用详细语法
详细语法可以为整个文件或特定代码段启用。
main.fsx
let add x y =
begin
x + y
end
printfn "Result: %d" (add 5 3)
此示例显示了函数定义中的详细语法。
let add x y =
begin
x + y
end
begin 和 end 关键字显式标记函数体，这是详细语法中的一个要求。
λ dotnet fsi main.fsx Result: 8
详细语法中的 Let 绑定
详细语法要求在顺序 Let 绑定中使用 in 关键字。
main.fsx
let calculate x y =
let sum = x + y in
let product = x * y in
sum, product
let result = calculate 3 4
printfn "Sum: %d, Product: %d" (fst result) (snd result)
这演示了带强制性 in 关键字的详细 Let 绑定。
let sum = x + y in let product = x * y in
在详细模式下，每个 let 绑定都需要一个 in 关键字来将其与后续表达式分开。
λ dotnet fsi main.fsx Sum: 7, Product: 12
详细语法中的循环
在详细模式下，循环结构需要额外的关键字。
main.fsx
let printNumbers n =
let mutable i = 1
while i <= n do
printf "%d " i
i <- i + 1
done
printfn ""
printNumbers 5
此示例演示了具有详细语法要求的 while 循环。
while i <= n do
printf "%d " i
i <- i + 1
done
在详细语法中，需要 done 关键字来标记循环体的结束。
λ dotnet fsi main.fsx 1 2 3 4 5
类型定义
详细语法会影响类型的定义和实现方式。
main.fsx
type Shape =
| Circle of radius: float
| Rectangle of width: float * height: float
with
member this.Area =
match this with
| Circle r -> System.Math.PI * r * r
| Rectangle (w, h) -> w * h
end
let circle = Circle(5.0)
let rect = Rectangle(4.0, 6.0)
printfn "Circle area: %.2f" circle.Area
printfn "Rectangle area: %.2f" rect.Area
这显示了带有详细语法标记的类型定义。
with
member this.Area =
match this with
| Circle r -> System.Math.PI * r * r
| Rectangle (w, h) -> w * h
end
with 和 end 关键字显式分隔成员定义。
λ dotnet fsi main.fsx Circle area: 78.54 Rectangle area: 24.00
模块定义
详细语法中的模块需要显式的 begin/end 标记。
main.fsx
module MathOperations =
begin
let add x y = x + y
let subtract x y = x - y
end
printfn "Addition: %d" (MathOperations.add 10 5)
printfn "Subtraction: %d" (MathOperations.subtract 10 5)
这演示了带有详细语法要求的模块定义。
module MathOperations =
begin
let add x y = x + y
let subtract x y = x - y
end
begin 和 end 关键字显式分隔模块内容。
λ dotnet fsi main.fsx Addition: 15 Subtraction: 5
使用详细语法实现接口
在实现接口时，详细语法提供了一种结构化的方式来定义成员。当接口有多个成员或实现需要复杂场景下的清晰性时，这尤其有用。
main.fsx
type IDisplayer =
abstract member Display : string -> unit
type ConsoleDisplayer() =
interface IDisplayer with
begin
member this.Display msg =
begin
printfn "Message: %s" msg
end
end
let displayer = ConsoleDisplayer() :> IDisplayer
displayer.Display "Hello from verbose syntax"
接口实现 包含在 begin/end 块中。Display 的成员实现也用 begin/end 包裹。
λ dotnet fsi main.fsx Message: Hello from verbose syntax