创建元组 pointfree

Question

下面的函数createTuple可以表示为pointfree吗？

let createTuple = fun v -> (v, v*2)

createTuple 2 |> printfn "%A" // (2,4)

Answer 1

F# 库没有提供很多用于以无点风格编写代码的函数（主要是因为它不是特别惯用的编写 F# 的方式），因此您不能仅使用在核心库中可用。

如果您真的想要这样做，您可以定义几个辅助组合器来处理元组：

/// Duplicates any given value & returns a tuple with two copies of it
let dup a = a, a
/// Transforms the first element using given function
let mapFst f (a, b) = (f a, b)
/// Transforms the second element (not needed here, but adding for symmetry)
let mapSnd f (a, b) = (a, f b)

有了这些，您就可以以无积分的方式实现您的功能：

let createTuple = dup >> mapSnd ((*) 2)

这与您的函数做同样的事情。我认为要破译这里发生的事情要困难得多，而且我永远不会真正编写该代码，但这是另一个问题:-)。

创建元组 pointfree

Creating a tuple pointfree

f#

pointfree