由应用文体组成的应用函子真的是独立的吗？

Question

我对函子、应用函子和单子的理解如下：

null

(,) <$> parseName <*> parseEmail

两个解析器parsename和parseemail的效果并不独立，因为它们都使用来自相同输入流的令牌，例如。

Jubobs [e-mail]

parseemail只能使用parsename尚未使用的内容。那么，怎么能说这两种计算是独立的呢？

Answer 1

这里的独立性并不是说一个计算不能检测到其他计算已经运行--也就是说，不应该是parseName对parseemail没有影响的情况。相反，您不能使用应用程序值（由parseName解析的名称）来选择下一步要运行的应用程序计算：您只能解析一个通用电子邮件，而不能在检查电子邮件地址不包含解析的名称的同时解析它。

另一种说法是，如果您只使用应用函数，计算的整体“形状”是预先确定的：您总是解析一个名称，然后是一个电子邮件地址。如果您使用的是单子函数，那么您可以根据前一次解析的结果来决定下一步要解析什么，这样您就可以在计算运行时更改计算的形状。