如何正确使用 Result.bind

Question

我目前正在尝试在我的 F# 程序中实现一些验证，但我遇到了一些我无法解决的编译时错误。 沸腾了，我正在努力做到这一点

let ifFalseThenError x errorMessage = function 
   | true -> Ok x 
   | false -> Error errorMessage
let val1 (initialeSandssynligheder : float[]) =
       initialeSandssynligheder
       |> Seq.sum
       |> (fun x -> x < 2)
       |> (fun x -> ifFalseThenError initialeSandssynligheder "Some error")

let val2 initialeSandssynligheder = 
    initialeSandssynligheder 
    |> Array.exists ((<) 0.0) 
    |> (fun x -> ifFalseThenError initialeSandssynligheder "SomeOtherError")

let beregnAlleOvergangssandsynligheder (initialeSandssynligheder: float[])  : float[] = 
       let initialeSandssynligheder = [|1.0;1.0;1.0;1.0;1.0|] 
       let initssh = initialeSandssynligheder 
                     |> val1
                     |> Result.bind val2  // Error here
       initssh

所以我的编译器告诉我，我的类型不匹配。我知道，val1 和 val2 都需要一个 float[] 并返回一个 Result ，当我在我的 val2 中进行管道传输时，我需要对此进行补偿，尽管我可以通过使用 Result.bind 来做到这一点.我在误解什么。

我的错误：

Error   FS0001  Type mismatch. Expecting a
    '(bool -> Result<float [],string>) -> 'a'    
but given a
    'Result<'b,'c> -> Result<'d,'c>'    
The type 'bool -> Result<float [],string>' does not match the type 'Result<'a,'b>'... (Path)

因此，当将 Result.bind 语句添加到最后一次验证时，该消息告诉我虽然我正在补偿什么

Answer 1

您对如何使用 Result.bind 的直觉是正确的。但是，您的代码中存在许多错误：

1. 函数 ifFalseThenError 接受一个布尔值，你不是 路过，在两个val1，val2中。

2. 在 val1 中，您需要使用浮点值，例如2.0 而不是 int 2。

这里改正了

let ifFalseThenError x errorMessage = function 
   | true -> Ok x 
   | false -> Error errorMessage
let val1 (initialeSandssynligheder : float[]) =
       initialeSandssynligheder
       |> Seq.sum
       |> (fun x -> x < 2.0)
       |> (fun x -> ifFalseThenError initialeSandssynligheder "Some error" x)

let val2 initialeSandssynligheder = 
    initialeSandssynligheder 
    |> Array.exists ((<) 0.0) 
    |> (fun x -> ifFalseThenError initialeSandssynligheder "SomeOtherError" x)

let beregnAlleOvergangssandsynligheder (initialeSandssynligheder: float[])  = 
       let initialeSandssynligheder = [|1.0;1.0;1.0;1.0;1.0|] 


       let initssh = initialeSandssynligheder 
                     |> val1 
                     |> Result.bind val2
       initssh

ps。解决这些问题的一个好方法是为所有函数和参数添加类型注释。

Answer 2

如 cmets 所述，存在多个编译错误：

1. 数值数据类型不正确
2. 函数缺少参数
3. beregnAlleOvergangssandsynligheder 中的返回类型提示错误

以下版本通过描述更改位置的 cmets 解决了这些编译错误：

let ifFalseThenError x errorMessage =
  function
  | true -> Ok x
  | false -> Error errorMessage

let val1 (initialeSandssynligheder: float array) =
  initialeSandssynligheder
  |> Seq.sum
  |> (fun x -> x < 2.0) // changed to float
  |> (fun x -> ifFalseThenError initialeSandssynligheder "Some error" x) // include x arg

let val2 initialeSandssynligheder =
  initialeSandssynligheder
  |> Array.exists ((<) 0.0)
  |> (fun x -> ifFalseThenError initialeSandssynligheder "SomeOtherError" x) // include x arg

let beregnAlleOvergangssandsynligheder (initialeSandssynligheder: float array) : Result<float array, string> = // Mixing list/array, hint return result
  let initssh =
    initialeSandssynligheder
    |> val1
    |> Result.bind val2 // Error here

  initssh

beregnAlleOvergangssandsynligheder [| 1.0; 1.0; 1.0; 1.0; 1.0 |] // Error because sum > 2
beregnAlleOvergangssandsynligheder [| -1.0 |] // Error because of negative value
beregnAlleOvergangssandsynligheder [| 1.0 |] // Ok

我还会查看 array/list/seq 的用法，例如您正在使用数组，但我在这里没有看到任何特定的需求，也许 seq 就足够了吗？尝试选择你需要的那个。