haskell - 如何减去 Haskell 中的 Maybe 值？例如，如果我想减去 Just 8 - Just 5 得到 Just 3，我该怎么做？

Question

我怎样才能做到以下几点。例如，如果我想减去 Just 8 - Just 5 得到 Just 3，我该怎么做？

Just 8 - Just 5 = Just 3

Just 15 - Just 9 = Just 6

Answer 1

liftA2 函数(从 Control.Applicative 导入)将普通函数“提升”到 Applicative 上下文中。例如，liftA2 (-) 是一个函数，它接受的不是两个 Num a => a 值，而是两个 (Applicative f, Num a) => f a 值，并在相同的上下文中产生结果。这不仅适用于 Maybe:

>>> liftA2 (-) (Just 8) (Just 5)
Just 3

但对于列表

>>> liftA2 (-) [4,5,6] [1,2,3] -- difference of every pair with one number from each list
[3,2,1,4,3,2,5,4,3]    

任一个:

>>> liftA2 (-) (Right 8) (Right 5)
Right 3

函数

>>> liftA2 (-) (+3) (*2) 9 -- (\x -> (x + 3) - (x * 2)) 9 == 12 - 18
-6

等等