尝试在Haskell中定义自定义绑定运算符时出错

Question

所以我最近一直在研究monad，我对Haskell编程语言很陌生。

这是我的代码：

import Data.List
import System.IO

f :: Int -> (Int, [Char])
f x = (x, ['a'])

g :: Int -> (Int, [Char])
g y = (y, ['b'])

(>>=) :: (Int -> (Int, [Char])) -> (Int -> (Int, [Char])) -> Int -> (Int, [Char])
(>>=) f1 f2 a =  f1 (fst (f2 a))

h :: Int -> (Int, [Char])
h x = (>>=) g f x

GHCI编译器显示：错误：

Ambiguous occurrence `>>='
It could refer to either `Prelude.>>='

我究竟做错了什么？ 我是否以正确的方式使用monad？

Answer 1

您正在定义(>>=)绑定，该绑定已经被前奏绑定（如上面的注释中所指出的）。

因此，您需要消除对它的每个引用的歧义。

为您的模块命名

module M where

然后，而不是写作

h x = (>>=) g f x

使用其中之一

h x = (M.>>=) g f x

要么

h x = (Prelude.>>=) g f x

选择你想要的版本>>= 。

但是 ，我认为这不是你真正想做的事情。 这个(>>=)将是一个与Monad类无关的绑定。

Answer 2

为了正确回答这个问题，我们必须检查您的假设和实际知识是否与Haskell社区对此知识的定义相匹配。

所以，首先，你显然明白了什么类型，似乎你理解多态类型相当好。

因为Monad是一个类型类，并且类型类使用多态类型，并且因为类型类也可以使用代数数据类型 ，所以在尝试理解Monad之前确保你对这些事物有一个坚定的理解是个好主意。 类型类与其他语言中的接口非常相似 - 它们定义了一组特定类型类实例必须遵守的强制和可选函数（及其类型）。 通常，它们还为您提供“免费”功能以及其他功能的默认定义。 他们非常酷:)

有很多好的地方可以让你很好地理解类型类。 我指的是http://www.happylearnhaskelltutorial.com/1/output_other_things.html作为一个简单的介绍（完整的披露，我帮助写了这个），以及类型词典，它也将更多地解释Monads （并提供必要的知识） https://wiki.haskell.org/Typeclassopedia

我还要提一下，如果你有钱，而你想进行长时间的练习来真正充实你的理解，请查看http://haskellbook.com - 它相当冗长，但对你来说可能非常有用，一般来说也是如此。让您对Haskell的基础知识有一个很好的理解。

非常重要的是要意识到使用 Monad实例（前奏包含许多常见实例）和制作 Monad实例之间存在很大差异，这就是您在上面尝试做的事情。

然后，还有Monad类型类本身的定义，通常在书中作为示例给出，它可以帮助您理解Monad实例的工作原理。

最后你需要查看Monad类型类中包含的函数的一般定义，以完全理解它是如何工作的，但是要理解这三个事物是完全独立的，并且经常可以互换地描述为“Monad”，这是很好的。由人。 （例如，值Just 5可以被描述为monadic值，但通常人们只会说它是monad，即使这在技术上是不正确的......因为Maybe有一个为它定义的Monad实例，而且Just 5是一个Maybe值。你也可以谈论Maybe的Monad实例的定义，并查看它是如何实现的，或者甚至自己定义它，只要你确保在尝试定义时没有它在范围内它通过执行下列操作之一：隐藏默认Maybe在前奏，不导入的前奏，或命名的版本， Maybe别的东西，像MyMaybe 。

所以，我建议首先要了解这三件事之间的区别。 有了这些知识，请阅读我给你的两个参考文献，然后阅读使用类型类的代码，然后阅读一些使用Monad实例的代码 - 为几种不同的类型提供直觉，然后继续重新实现前奏Monad或者两个你自己，然后最终尝试创建你自己的Monad类型类的版本，而不是看前序，所以你可以测试自己对函数的理解。 然后你会非常了解他们:)

另外值得注意的是，在你到达Monad之前解决类型的问题可能是一个好主意。 你可能不得不这样做，但他们是Functor ， Applicative ，然后是Monad 。 您可以选择在Functor之前添加Semigroup和Monoid ，但这只是为了让您更多地了解类型类，而不是理解Monad类型类的必要性。

祝好运！