用F#做鱼

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.(>=>)）来完成这些功能，但是这违背了使用运算符的全部目的，我的意思是它不再是运算符。