Gus*_*Gus 5
如果没有“高级种类”,您将无法自然地做到这一点。
鱼的签名应类似于:
let (>=>) (f:'T -> #Monad<'U>``) (g:' U -> #Monad<'V>) (x:'T) : #Monad<'V> = bind (f x) g
在当前的.NET类型系统中这是无法代表的。
话虽如此,如果您真的想使用泛型fish运算符,则可以使用F#+,它已经通过使用静态约束进行了定义。如果在这里查看第5个代码示例,您将看到它在不同类型上的实际作用。
当然,您也可以定义自己的代码,但是要编写很多东西,以便使其在大多数常见情况下都能正常工作。您可以从库中获取代码,或者如果需要的话,我可以编写一个小的(但有限的)代码示例。
这行定义了普通鱼。
我认为一般来说,使用运算符时确实会感到缺乏通用功能,因为如您所知,您需要打开和关闭模块。并不是像用模块名称为函数添加前缀的函数那样,您也可以使用运算符(例如Option.(>=>)
)来完成这些功能,但是这违背了使用运算符的全部目的,我的意思是它不再是运算符。
更多推荐
发布评论