Option.fold<'T,'State> 函数 (F#)
为选项计算 List.fold 的等效。
命名空间/模块路径:Microsoft.FSharp.Core.Option
程序集:FSharp.Core(在 FSharp.Core.dll 中)
// Signature:
fold : ('State -> 'T -> 'State) -> 'State -> 'T option -> 'State
// Usage:
fold folder state option
参数
folder
类型:'State -> 'T -> 'State接受选项值、更新状态数据的函数。
state
类型:'State初始状态。
option
类型:'T option输入选项。
返回值
如果选项为 None,则为初始状态,否则它返回折叠函数的更新状态和选项值。
备注
表达式 fold f s inp 计算结果为 match inp with None -> s | Some x -> f s x.
此函数在编译的程序集中名为 Fold。 如果从 F# 以外的语言中访问函数,或通过反射访问成员,请使用此名称。
示例
下面的代码阐释了 Option.fold 的用法。
let consOption list opt =
Option.fold (fun state value -> value :: state) list opt
printfn "%A" <| consOption [1 .. 10] None
printfn "%A" <| consOption [1 .. 10] (Some(0))
// Read input from the console, and if the input parses as
// an integer, cons to the list.
let readNumber () =
let line = System.Console.ReadLine()
let (success, value) = System.Int32.TryParse(line)
if success then Some(value) else None
let mutable list1 = []
let mutable count = 0
while count < 5 do
printfn "Enter a number: "
list1 <- consOption list1 (readNumber())
printfn "New list: %A" <| list1
count <- count + 1
Output
平台
Windows 8,Windows 7,Windows server 2012中,Windows server 2008 R2
版本信息
F#核心库版本
支持:2.0,4.0,可移植