¿Cómo mezclar binding (<-) y asignación (let) en una línea? (en Haskell)

Question

Se trata del azúcar sintáctico en Haskell. Un simple programa Haskell:

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

I Uso de unión en la primera línea (args <- getArgs) y una asignación puro en la segunda (let first = ...). ¿Es posible fusionarlos en un solo trazo legible?

entiendo que puedo reescribir la unión “de-azucarada”:

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

Pero hay una manera más agradable, sin estorbar la línea con (>> =) y regresar?

Answer 1

liftM y head son todos muy bien, pero no olvidemos la coincidencia de modelos:

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

o si te gusta el diseño

main = do 
    arg : _ <- getArgs 
    print arg 

Cuando sea posible, la mayoría de los Haskellers prefieren patrones coincidentes sobre head y tail.

Answer 2

¿Qué le parece esto?

import Control.Monad 

main = do 
    first <- liftM head getArgs 
    print first 

Answer 3

También es posible utilizar la función ap (con el tipo Monad m => m (a -> b) -> m a -> m b) así:

import System 
import Control.Monad 

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

Esto tiene la sencilla ventaja de que si su función requiere varios argumentos que puede utilizar ap entre cada una de ellos y que no necesitan utilizar liftM2, liftM3 etc. para una función f::a -> b -> c -> d se escribe

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

Answer 4

¿Cómo se enredan y vuelven?

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

o

main = liftM head getArgs >>= print

Answer 5

Sin embargo, otra posibilidad:

main = putStr . head =<< getArgs