将` `do‘转换为>>= v. map
将` `do‘转换为>>= v. map
提问于 2015-03-10 02:35:53
给定以下do notation代码：
do
a <- return 1
b <- [10,20]
return $ a+b是否有更多的习语转换：
ghci> return 1 >>= (\x -> map (+x) [10, 20])
[11,21]对比
ghci> return 1 >>= (\x -> [10, 20] >>= (\y -> [y+x]))
[11,21]回答 1
Stack Overflow用户
回答已采纳
发布于 2015-03-10 02:43:35
do符号映射到一元函数，所以严格地说，您可以编写
return 1 >>= (\a -> [10, 20] >>= (\b -> return $ a+b ))现在，您可以将>>= … return替换为fmap
return 1 >>= (\x -> fmap (\y -> x+y) [10, 20])并使用部分，并将常量1直接丢弃到函数中。
fmap (1+) [10, 20]或者，如果您真的想从列表中获取第一个求和，我建议使用liftM2
liftM2 (+) [1] [10, 20]与此相比，列表的Applicative实例具有更多的习性，并具有相同的结果：
(+) <$> [1] <*> [10, 20]页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/28955226
复制相关文章
相似问题
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号