Как смешать привязку (<-) и присвоить (пусть) в одной строке? (в Haskell)

Question

Речь идет о синтаксическом сахаре в Хаскелле. Простая программа на Haskell:

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

Я использую привязки в первой строке (args <- getArgs) и чистого присвоения в второй (let first = ...). Можно ли объединить их вместе в читаемый однострочный?

Я понимаю, что я могу переписать связывании «де-засахаренные»:

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

Но есть более хороший способ, не загромождая линию (>> =) и вернуться?

Answer 1

liftM и head все очень хорошо, но давайте не будем забывать, соответствие шаблону:

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

или, если вам нравится расположение

main = do 
    arg : _ <- getArgs 
    print arg 

Когда возможно, большинство Haskellers предпочитают сопоставление моделей по head и tail.

Answer 2

Как насчет этого?

import Control.Monad 

main = do 
    first <- liftM head getArgs 
    print first 

Answer 3

Также можно использовать функцию 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 4

Как связывают и возвращают беспорядок?

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

или

main = liftM head getArgs >>= print

Answer 5

Еще одна возможность:

main = putStr . head =<< getArgs