使用组合函子的应用实例

Question

我有两种形式的功能

foo :: Int -> IO String

bar :: Int -> IO Integer

它基本上存在于由(->) Int 和IO 组成的函子中。 现在，有一个类型的函数

baz :: String -> Integer -> Float

我想使用类似的应用语法将其提升到 Int -> IO _ 上下文

foobarbaz :: Int -> IO Float
foobarbaz = baz <$> foo <*> bar

如果我这样做，编译器会对我大喊大叫

Couldn't match type `IO String' with `[Char]'
      Expected type: Int -> String
        Actual type: Int -> IO String

好像它试图仅将应用程序实例用于(->) Int。

我认为应用函子是组合的，因此我可以将应用实例用于组合函子。我错了吗？还是应该只向编译器提供更多信息？

我也尝试启用TypeApplications 来明确指定我想使用的函子，但我意识到我不能写(->) Int (IO _)。真的有办法吗？

Answer 1

我认为应用仿函数是组合的，因此我可以将应用实例用于组合仿函数。

没错，但是假设我们取f ~ (->) Int，那么类型是(<$>) :: (a -> b) -> (Int -> a) -> (Int -> b)和(<*>) :: (Int -> (a -> b)) -> (Int -> a) -> (Int -> b)，但这与类型不匹配，因为baz需要String和@ 987654328@，而foo 返回一个IO String 和bar 一个IO Integer。

你可以利用liftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c解除baz函数来使用IO动作的结果：

import Control.Applicative(liftA2)

foobarbaz :: Int -> IO Float
foobarbaz = liftA2 baz <$> foo <*> bar

liftA2 将在此处将baz :: String -> Integer -> Float 转换为liftA2 baz :: IO String -> IO Integer -> IO Float。因此，这是一个与foo 和bar 的输出类型匹配的函数。