/组合子我有功能接受相同类型的输入时,不同类型的列表作为输出功能合并在fsharp
[ f_i : Mytype -> res:Sometype_i ]
哪些操作可以将它们合并到以下类型的一个函数?
f : Mytype -> \Product_i Mytype_i
期同,如果我有函数返回同一类型
[ f_i : Mytype_i -> res:Sometype ]
其列表操作可将它们合并到以下类型的功能之一?
f : \Product_i Mytype_i -> Mytype list
这将是一些规范的“preCombinator”或“postCombinator”。 (我想它在FP中有一个名字..)
我不明白你意思是 - 你的语法不是F# - 特别是'func'不是F#关键字,也是惯用的F#写入'int list'而不是'[int]'这很容易混淆(我想这就是你的意思) – 2012-02-23 10:28:43
抱歉,我是不太熟悉fsharp语法。我想你必须删除func才能输出类型为fsahrp的输出。我会编辑它。 – nicolas 2012-02-23 10:32:41
如果你使用F#interactive,它会打印出你的类型签名,这可以帮助你解决这样的问题,如果你使用编译器 – 2012-02-23 10:35:10