应用函子 - Haskell

下面是一个使用Haskell编写的应用函子的代码示例：

-- 定义一个 Maybe 函子
data Maybe a = Just a | Nothing

-- 定义一个应用函子类型类（Applicative）
class Functor f => Applicative f where
  pure :: a -> f a
  (<*>) :: f (a -> b) -> f a -> f b

-- 实现 Maybe 的应用函子实例
instance Applicative Maybe where
  pure = Just
  (Just f) <*> (Just a) = Just (f a)
  _ <*> _ = Nothing

-- 使用应用函子进行计算
addMaybe :: Maybe Int -> Maybe Int -> Maybe Int
addMaybe ma mb = (+) <$> ma <*> mb

main :: IO ()
main = do
  let a = Just 2
      b = Just 3
      c = addMaybe a b
  putStrLn $ "The result is: " ++ show c

以上代码中，我们首先定义了一个 Maybe 函子，它可以表示一个可能包含值的类型。然后，我们定义了一个应用函子类型类 Applicative，它是一个派生自 Functor 的类型类，其中包含了纯函子（pure）和应用函子（<*>）的函数定义。

接下来，我们实现了 Maybe 的应用函子实例，其中纯函子（pure）操作将一个值包装到 Maybe 函子中，而应用函子（<*>）操作则将一个函数函子和一个值函子进行结合，得到一个新的函子。

最后，在 main 函数中，我们使用应用函子进行计算。addMaybe 函数接受两个 Maybe Int 类型的参数，并使用 <$> 和 <*> 操作符将加法函数 + 应用到这两个参数上，最终得到一个新的 Maybe Int 类型的结果。

在 main 函数中，我们定义了两个 Maybe Int 类型的变量 a 和 b，然后调用 addMaybe 函数将它们相加，并将结果赋给变量 c。最后，我们使用 putStrLn 函数打印出结果。

编译并运行以上代码，将会输出结果：

The result is: Just 5

这证明了我们成功地使用了应用函子来对 Maybe 函子进行计算。