gpt4 book ai didi

f# - 如何使用 Option.map 和 Option.bind 重写多个空检查?

转载 作者:行者123 更新时间:2023-12-03 10:05:04 26 4
gpt4 key购买 nike

如何将以下使用 c# HtmlAgility 库的代码转换为优雅的样式?

if node <> null then
let nodes = node.SelectNodes("//input[@name='xxx']")
if nodes <> null then
let first = nodes.[0]
if first <> null then
let value = first.Attributes.["value"]
if value <> null then
Some value.Value
else
None
else
None
else
None
else
None

下面的代码可以工作吗?但是,它仍然不如 C# 6 的 ?. 简洁。运算符(operator)。
let toOpt = function null -> None | x -> Some x
node |> toOpt
|> Option.map (fun x -> x.SelectNodes("//input[@name='xxx']"))
|> Option.map (fun x -> x.[0] )
|> Option.map (fun x -> x.Attributes.["value"] )
|> Option.map (fun x -> x.Value )

C# 6 版本仍然简洁得多:
node?.SelectNodes("//input[@name='xxx']")[0]?.Attributes["value"]?.Value

可以 Option.bind有帮助吗?

最佳答案

仅供引用 F#4 已添加 Option.ofObj

在 F# null有充分的理由避免。处理依赖于 null 的 C# 库时我的一般建议是在该库上提供 F# 惯用的“适配器”。

在实践中,这可能需要很多工作,结果可能不如 C# 运算符 ?. 简洁。 (撇开这样的运算符是否是一个好主意的争论)。

据我所知,F# 编译器不支持这样的操作符,但如果你强烈支持它,你应该在:http://fslang.uservoice.com/ 提出它。 . F# 社区是友好的,但我怀疑您必须非常激烈地争论才能让社区相信 F# 是个好主意。

同时;使其更简洁的一种方法是创建一个 computation expression像这样( getAttributeValue 是你的代码的样子):

// Basically like the classic `maybe` monad
// but with added support for nullable types
module Opt =

let inline Return v : Option<'T> = Some v

let inline ReturnFrom t : Option<'T> = t
let inline ReturnFrom_Nullable ot : Option<'T> =
match ot with
| null -> None
| _ -> Some ot

let inline Bind (ot : Option<'T>) (fu : 'T -> Option<'U>) : Option<'U> =
match ot with
| None -> None
| Some vt ->
let ou = fu vt
ou

let inline Bind_Nullable (vt : 'T) (fu : 'T -> Option<'U>) : Option<'U> =
match vt with
| null -> None
| _ ->
let ou = fu vt
ou

let Delay ft : Option<'T> = ft ()

type OptBuilder() =
member inline x.Return v = Return v
member inline x.ReturnFrom v = ReturnFrom v
member inline x.ReturnFrom v = ReturnFrom_Nullable v
member inline x.Bind (t, fu) = Bind t fu
member inline x.Bind (t, fu) = Bind_Nullable t fu
member inline x.Delay ft = Delay ft

let inline ofObj o =
match o with
| null -> None
| _ -> Some o

open HtmlAgilityPack

let opt = Opt.OptBuilder()

let getAttributeValue (node : HtmlNode) (path : string) : string option =
opt {
let! nodes = node.SelectNodes path
let! node = nodes.[0]
let! attr = node.Attributes.["value"]
return! attr.Value
}


let html = """
<html>
<title>Hello</title>
<body>Yellow <div name='Test' value='Stone'>Div</div></title>
</html>
"""

[<EntryPoint>]
let main argv =
let doc = HtmlDocument ()
doc.LoadHtml html
let r = getAttributeValue doc.DocumentNode "//div[@name='Test']"
printfn "Result: %A" r
0

关于f# - 如何使用 Option.map 和 Option.bind 重写多个空检查?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/29982711/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com