Question

我如何（如果有的话）模拟可变参数函数（不是方法）以便我可以写

sum 1 2 3
sum 1 2 3 4 5
sum 1 2 3 4 5 6 7
// etc.

上面的代码只是作为示例 - 显然如果我必须总结一个列表

[ 1; 2 ; 3] |> List.sum

是一种更好的方式。

但我正在寻找像this Haskell solution

这样的结构相似的解决方案

同样重要的是函数调用和参数值的 normal 语法保持不变。所以

sum 1 2 3

VS

sum(1, 2, 3)

实际上意味着

let sum ([<ParamArray>] arr) = ...

在这种特殊情况下不需要

。

所有这一切的动机：我正在探索F＃的类型系统和语法的外围边缘。而且我完全意识到我可能已经越过了可能已经存在的界限。

PS：我的具体想法（我在这里没有描述）也可以完全不同的方式解决 - 所以我知道，所以我已经完成了。因此我的问题不是：如何以不同的方式解决这个问题，但如何在结构上像Haskell一样解决这个问题。

PPS：如果你可以使整个解决方案递归，则可以使用双倍Karma-Points。

Answer 1

你说的是功能，而不是方法。所以ParamArray不是一种选择。

您链接的Haskell代码基于推断的结果类型。

这是根据F＃中的推断结果类型解决的方法：

type T = T with
    static member inline ($) (T, r:'t->'t        ) = fun a b     -> a + b
    static member inline ($) (T, r:'t->'t->'t    ) = fun a b c   -> a + b + c
    static member inline ($) (T, r:'t->'t->'t->'t) = fun a b c d -> a + b + c + d

let inline sum (x:'a) :'r = (T $ Unchecked.defaultof<'r>) x

let x:int = sum 2 3 
let y:int = sum 2 3 4
let z:int = sum 2 3 4 5
let d:decimal = sum 2M 3M 4M

let mult3Numbers a b c = a * b * c
let res2 = mult3Numbers 3 (sum 3 4  ) 10
let res3 = mult3Numbers 3 (sum 3 4 5) 10

<强>更新

上面的代码不再适用于F＃4.1（参见注释），但这是一个更好的例子，带有n（无限制）参数的递归多变量函数：

type T = T with
    static member        ($) (T, _:int    ) = (+)
    static member        ($) (T, _:decimal) = (+)

let inline sum (i:'a) (x:'a) :'r = (T $ Unchecked.defaultof<'r>) i x

type T with
    static member inline ($) (T, _:'t-> 'rest) = fun (a:'t) -> (+) a >> sum


let x:int = sum 2 3 
let y:int = sum 2 3 4
let z:int = sum 2 3 4 5
let d:decimal = sum 2M 3M 4M

let mult3Numbers a b c = a * b * c
let res2 = mult3Numbers 3 (sum 3 4) (sum 2 2 3 3)
let res3 = mult3Numbers 3 (sum 3 4 5 11 13 20) 10

您还可以查看此polyvariadic fold。

Answer 2

如评论中所述，您可以使用F＃中的ParamArray属性，这样您就可以使用多个参数调用该函数 - 尽管您必须使用.NET表示法并编写{{1} }。

那就是说，我可能不会在实践中这样做。如果您正在编写一个输入由未知数量的值组成的函数，那么使用列表可能是更好的设计：

sum(1,2,3,4,5,6)

这只是几个字符，它可以更好地模拟您正在解决的问题 - 至少，基于您在此处发布的玩具示例。

如果不知道你实际解决的问题是什么，很难给出一个好的答案。但总的来说，我认为列出一个很好的F＃友好默认值。在某些情况下使用List.sum [1; 2; 3 ] List.sum [1; 2; 3; 4; 5 ] List.sum [1; 2; 3; 4; 5; 6; 7 ]非常有用，对于C＃interop。

如何在F＃中编写一个可变函数来模拟类似的Haskell解决方案？

2 个答案: