个人中心
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
文章推荐： .net - 为什么无限递归不会在F#中遇到堆栈溢出异常？
文章推荐： javascript - 如何在 Three.js 中使用 morphColor 更改动画的面/顶点颜色
文章推荐： javascript - Highcharts 中的 x 点错误
文章推荐： deployment - WiX 自定义操作项目 - BadImageFormatException
行者123
个人简介

我是一名优秀的程序员,十分优秀！

滴滴打车优惠券免费领取
滴滴打车优惠券
全站热门文章
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com