有人可以解释一下这段代码中应用实例是在哪里出现的吗？

Question

isAlphaNum :: Char -> Bool
isAlphaNum = (||) <$> isAlpha <*> isNum 

我可以看到它有效，但我不明白 Applicative （或 Functor）的实例来自哪里。

Answer 1

这是((->) r) 的Applicative 实例，来自常见类型的函数。它通过复制单个参数以用于所有函数，将具有相同第一个参数类型的函数组合成单个函数。 (<$>) 是函数组合，pure 是 const，(<*>) 翻译为

s :: (r -> a -> b) -> (r -> a) -> r -> b
s f g x = f x (g x)

：函数可能更广为人知的是S 组合器。

((->) r) 函子也是 Reader monad，其中共享参数是“环境”值，例如：

newtype Reader r a = Reader (r -> a)

我不会说它是 <为了使函数成为无点的，这样做很常见，但在某些情况下，一旦您习惯了这种用法，它实际上可以提高清晰度。例如，你给出的例子，我可以很容易地理解为“是一个字符，一个字母或数字”。

Answer 2

您可以从 Control.Applicative 包中免费获得所谓的静态箭头的实例（请参阅 Conor McBride 等人的“Applicative Planning with Effects”）。因此，在您的情况下，任何源类型 Char 都会产生一个 Applicative 实例，其中任何其他类型 a 都映射到类型 Char ->;一个。

当您组合其中任何一个时，假设应用一个函数 f :: Char ->一个-> b 为值 x :: Char -> a，语义是你创建一个新函数Char -> b，它将像这样将其参数输入到 f 和 x 中，

f <*> x = \c -> (f c) (x c)

因此，正如您所指出的，这使得您的示例相当于

isAlphaNum c = (isAlpha c) || (isNum c)

在我看来，这种努力并不总是必要的，如果 Haskell 对应用程序有更好的语法支持（也许类似于 2 级语言），看起来会更好。

Answer 3

应该注意的是，通过使用 lift 函数，您可以获得类似的效果，例如：

import Data.Char
import Control.Applicative 

isAlphaNum = liftA2 (||) isAlpha isNumber

或者，使用 ((->) r) 的 monad 实例而不是应用实例：

import Data.Char
import Control.Monad 

isAlphaNum = liftM2 (||) isAlpha isNumber

[Digression]

现在如果您知道如何将一个参数分配给两个中间函数并将结果分配给二元函数，则存在某种相关的情况，您想要分配两个< /em> 一个 中间函数的参数并将结果发送到二进制函数：

import Data.Function

orFst = (||) `on` fst

-- orFst (True,3) (False, 7)
--> True

例如，此模式经常用于比较函数。