1

我有一个基本append功能

let append item list = item  :: list

我有一个'列表选项和选项Some("something")

let listOption = Some []

我想将值添加"something"到listOption. 我怎么能不使用模式匹配Option.get而是通过提升append功能来做到这一点？

任何帮助，将不胜感激

4

3 回答 3

0

您可以使用也许计算表达式

type MaybeBuilder() =
    member this.Bind(m, f) = Option.bind f m
    member this.Return(x) = Some x

let maybe = new MaybeBuilder()
let append item list = item  :: list
let appendLifted item list =
    maybe {
        let! l = list
        let! i = item
        return append i l
    }

[<EntryPoint>]
let main argv =
    appendLifted (Some "abc") (Some [])
    0
于 2018-10-28T12:58:48.217 回答
0

好像是家庭作业...

如果您想在列表选项的开头添加一个值（不是选项），您可以简单地执行此操作，如果列表选项为 None，则返回 None：

let liftedAppend item optList =
    optList |> Option.bind (fun list -> Some (item :: list))

liftedAppend 签名是：

'a -> 'a list option -> 'a list option

但是谈论提升严格意义上的，因为您的附加功能的签名是：

'a -> 'a list -> 'a list

提升功能的签名应该是：

'a option -> 'a list option -> 'a list option

这意味着第一个参数必须是一个选项，我猜你想检查它是 Some 还是 None。如果是这样，请仔细阅读其他人的回复。

你可以使用这样的东西，它是去糖的 Lanayx 的计算表达式。

let liftedAppend optItem optList =
    optList |> Option.bind (fun list -> 
        optItem |> Option.bind (fun item -> Some (item :: list)))
于 2018-10-28T14:06:48.583 回答
-1

这有效：

listOption 
|> Option.map (append 11)
|> printfn "%A"  // Some [11]

但要创建一个提升append：

let liftedAppend v = Option.map (append v)

listOption 
|> liftedAppend 11
|> printfn "%A" // Some [11]

函数的签名是：

  • val append : 'a -> 'a list > 'a list
  • val liftedAppend: 'a -> 'a list option -> 'a list option

要将两个参数作为选项传递，您可以使用Option.map2：

let liftedAppend2 vO = vO |> Option.map2 append

listOption 
|> liftedAppend2 (Some 11)
|> printfn "%A"  // Some [11]

其中有签名：

  • val liftedAppend2: a option -> 'a list option -> 'a list option
于 2018-10-28T12:37:29.190 回答