管道中的 printfn

Question

所以我有一个函数 SolveEquasion 返回一对 float*float[]。打印数字和数组并继续使用数组的最佳方法是什么？我编写了以下代码，但似乎有更好的方法

<前><代码>... |>求解方程 |> (fun (det, 解) -> printfn "行列式 = %f\n解 = %A" det (Array.toList 解), 解 ) |>斯德

Answer 1

如果您想在管道中执行此操作，我认为您的解决方案无法改进。另一种方法是使用 let 绑定，同时拆分管道操作，以避免出现类似于 map 和 iter< 的爱子的函数。 /代码>。

let (det, solution) = SolveEquasion
printfn "Determinant = %f\nSolution = %A" det (Array.toList solution)
//do something else with solution

Answer 2

我认为最初的解决方案很好，我们可以通过为您的匿名函数提供我在其他一些基于管道化高阶函数的库中看到的名称来提高其清晰度：tap。

let tap f x =
    f x
    x

(1.0, [| 2.0; 3.0 |])
|> tap (fun (s, a) -> printfn "%A %A" s a)
|> snd

Answer 3

好吧，一方面，您可以通过返回单个值而不是前一个函数的元组来跳过 snd 的使用：

...
|> SolveEquasion
|> (fun (det, solution) -> 
        printfn "Determinant = %f\nSolution = %A" det (Array.toList solution) 
        solution )

Answer 4

我可能会使用 Daniel 的方法，并使用 let 将要打印的值分配给符号。或者，您可以定义 printf 的变体，它接受一些参数并返回其中一个。我不确定是否有一个通用的方案应该如何完成 - 对于您的示例，它将需要一个二元素元组：

let mprintf fmt (a, b) = 
  Printf.kprintf (fun s -> printf "%s" s; (a, b)) fmt a b

然后您可以编写：

...  
|> SolveEquasion  
|> mprintfn "Determinant = %f\nSolution = %A"
|> snd |> // ... more stuff with solution