瞭解haskell中的liftM2

Question

我很難理解liftM2在haskell中的工作原理。 我寫了下面的代碼，但它不輸出任何東西。

import Control.Monad 
main = liftM2 (\a b -> putStrLn$show$(+) a b) readLn readLn 

Answer 1

我不認爲編譯器可以解析這個沒有空格$左右。然後，這裏主要有類型IO（IO（））

如果你想總結「內部」IO，你可以使用liftM2 (+)，然後打印結果。

例如：

main :: IO() 
main = print =<< liftM2 (+) readLn readLn 

或者用做記號：

main :: IO() 
main = do 
    s <- liftM2 (+) readLn readLn 
    print s 

Answer 2

它有助於先從liftM2類型：

liftM2 :: Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r 

第一個參數是一個函數2個參數，如(+)。通常情況下，你可以使用(+)這樣的：

> 3 + 5 
8 

但是，你沒有Num a => a類型的兩個值;您正在使用readLn :: Read a => IO a來獲取Num a => IO a類型的值。如果你想直接添加這些值：

:t (+) readLn readLn 
(+) readLn readLn :: (Read a, Num (IO a)) => IO a 

它需要IO a有Num實例。也就是說，你不想添加readLn的返回值;你想在這些返回值中添加包裝的。你能做到這一點明確：

do 
x <- readLn 
y <- readLn 
return $ x + y 

或者，你可以「修改」 (+)隱含解開的參數，然後再包的結果。這就是liftM2所做的：它需要一個2參數函數，並將它「提升」到monad中，以便它可以處理包裝值。

> :t (+) 
(+) :: Num a => a -> a -> a 
> :t liftM2 (+) 
liftM2 (+) :: (Num r, Monad m) => m r -> m r -> m r 

因此，儘管(+) 3 5 :: Num a => a，liftM2 (+) $ (return 3) (return 5) :: (Monad m, Num a) => m a。前者評估爲8，後者爲return 8（無論return對特定單子做什麼）。一些非IO例子：

> (liftM2 (+)) (Just 3) (Just 5) 
Just 8 
> (liftM2 (+)) [3] [5] 
[8] 
> (liftM2 (+)) (Right 3) (Right 5) 
Right 8 

liftM2非常類似於map;實際上，liftM（提升1個參數函數的版本）只是map的另一個名稱。