Question

这是关于Haskell中的语法糖。一个简单的Haskell程序：

main = do
  args <- getArgs
  let first = head args
  print first

我在第一行（args <- getArgs）中使用绑定，在第二行（let first = ...）中使用纯赋值。有可能将它们合并成一个可读的单行程序吗？

我知道我可以重写绑定“脱糖”：

main = do
  first <- getArgs >>= ( return . head )
  print first

但是有没有更好的方法，不会使（＆gt;＆gt; =）线条混乱并返回？

Answer 1

liftM和head都非常好，但我们不要忘记模式匹配：

main = do { arg:_ <- getArgs; print arg }

或者如果你喜欢布局

main = do
    arg : _ <- getArgs
    print arg

如果可能，大多数Haskeller更喜欢head和tail上的模式匹配。

Answer 2

又一种可能性：

main = putStr . head =<< getArgs

Answer 3

这个怎么样？

import Control.Monad

main = do
   first <- liftM head getArgs
   print first

Answer 4

也可以使用ap函数（类型Monad m => m (a -> b) -> m a -> m b），如下所示：

import System
import Control.Monad

main :: IO ()
main = do line <- return head `ap` getArgs
          putStrLn line

这有一个简单的优点，即如果您的函数需要多个参数，则可以在每个参数之间使用ap，而不需要使用liftM2，liftM3等。你写的函数f::a -> b -> c -> d

return f `ap` arg1 `ap` arg2 `ap` arg3

Answer 5

如何绑定并返回杂乱？

main = getArgs >>= (return.head) >>= print

或

main = liftM head getArgs >>= print