Haskell简化技术和monads
Haskell简化技术和monads
提问于 2013-01-10 01:48:12
如何减少/简化这些代码(或一般情况下，具有多个输入的代码)？
do
sex <- askSex
name <- askName
sayHello sex name在这种情况下，它已经很短了，但是当它有多个输入时，它看起来很混乱。有没有办法这样做：
sayHello askSex askName回答 3
Stack Overflow用户
回答已采纳
发布于 2013-01-10 02:10:10
对于应用函数者来说，这是一个可爱的时刻：
import Control.Applicative -- at the top of your module before any functions
hello "Male" name = "Hi, " ++ name ++ ", that's a cool name."
hello "Female" name = "Hello, " ++ name ++ ", that's a pretty name."
greet = hello <$> askSex <*> askName >>= putStrLn它的工作原理有点像我今天给你的前面答案中的fmap，但是对于更多的参数，就像你在这里所做的那样。
使用像my hello这样的函数和应用函数器可以帮助您将IO代码与其余代码分开，这是一个非常好的实践。每次都尝试编写hello而不是sayHello。
Stack Overflow用户
发布于 2013-01-10 01:58:11
如果你
import Control.Applicative -- for <$> and <*>
import Control.Monad -- for join你可以写
join $ sayHello <$> askSex <*> askName对于您的示例，您只获取两个参数，这并不是一个很大的胜利。但是对于更多的参数，它可以使代码更清晰。
join $ doSomething <$> getFirst <*> getSecond <*> getThird <*> getForthStack Overflow用户
发布于 2013-01-11 00:12:11
恼人的是，对于这个问题，胡格尔没有一个简单的答案。这将被称为bind2。如果它是一个只有一个输入的函数，那么你可以使用=<<，我称之为bind1的中缀版本。
sayHello =<< askName但是对于多个输入，我们就不走运了。无论出于什么原因，标准库都没有提供这样的功能：
bind2 :: Monad m => (a -> b -> m c) -> m a -> m b -> m c
bind2 f mx my = do
x <- mx
y <- my
f x y
...
bind2 sayHello askSex askName当然，您可以自己定义它。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/14243303
复制相关文章
相似问题
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号