Wie Binding (<-) und Zuweisung (Let) in einer Zeile mischen? (in Haskell)

Question

Hier geht es um syntaktischen Zucker in Haskell. Ein einfaches Programm Haskell:

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

I in der ersten Zeile (args <- getArgs) und eine reine Zuordnung in dem zweiten (let first = ...) Bindung verwenden. Ist es möglich, sie zu einem lesbaren Einzeiler zusammenzufügen?

Ich verstehe, dass ich neu schreiben kann „de-gezuckert“ Bindung:

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

Aber gibt es eine schönere Art und Weise, ohne mit der Linie unübersichtlich (>> =) und zurück?

Answer 1

liftM und head sind alle sehr gut, aber lassen Sie uns nicht Musterabgleich vergessen:

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

oder wenn Sie wie das Layout

main = do 
    arg : _ <- getArgs 
    print arg 

Wenn möglich, bevorzugen die meisten Haskeller die Mustererkennung über head und tail.

Answer 2

Wie wäre es damit?

import Control.Monad 

main = do 
    first <- liftM head getArgs 
    print first 

Answer 3

Es ist auch möglich, die ap Funktion (mit Typ Monad m => m (a -> b) -> m a -> m b) wie folgt zu verwenden:

import System 
import Control.Monad 

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

Dies hat den einfachen Vorteil, dass, wenn Ihre Funktion mehrere Argumente erfordert, dass Sie von ap zwischen jedem verwenden können sie und Sie brauchen nicht liftM2 zu verwenden, liftM3 etc. Für eine Funktion f::a -> b -> c -> d Sie schreiben

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

Answer 4

Wie sind Bind und Return Clutter?

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

oder

main = liftM head getArgs >>= print

Answer 5

Noch eine weitere Möglichkeit:

main = putStr . head =<< getArgs