哈斯克尔：在莫纳德做符号并返回

Question

假设我有以下代码

do {x <- (Just 3); y <- (Just 5); return (x:y:[])}

哪个输出Just [3,5]

haskell如何知道输出值应该在Maybe monad中？ 我的意思是return可以输出[[3, 5]] 。

Answer 1

do {x <- (Just 3); y <- (Just 5); return (x:y:[])}

des to to to

Just 3 >>= \x -> Just 5 >>= \y -> return $ x:y:[]

由于>>=的类型是Monad m => ma -> (a -> mb) -> mb和每个参数Just 3 （或者Just 5 ）我们有m ~ Maybe ，表达式的返回类型必须是一些Maybe类型。

---

有可能使用类别理论中的 自然变换来回报[[3, 5]] 。 因为存在从Maybe a到[a]的自然转换，即

alpha :: Maybe a -> [a]
alpha Nothing  = []
alpha (Just a) = [a]

我们有你想要的功能只是应用于结果的自然变换：

alpha (Just 3 >>= \x -> Just 5 >>= \y -> return $ x:y:[])
-- returns [[3, 5]]

由于这是一个自然转换，您还可以先应用alpha ，然后再应用第二个函数：

alpha (Just 3) >>= \x -> alpha (Just 5) >>= \y -> return $ x:y:[]
-- returns [[3, 5]]

正如@duplode指出的那样，你可以在包Data.Maybe找到alpha作为maybeToList 。