Haskell Hero

V lekci Vstup a výstup I jsme si ukázali konstrukci do.

vypis = do putStrLn "abc"
           putStrLn "def"
           putStrLn "ghi"

putStrLn "abc"  >>  putStrLn "def"  >>  putStrLn "ghi"

V předchozím případě proběhly akce nezávisle na sobě. My ale budeme chtít například načíst hodnotu od uživatele a s ní pak dále pracovat. Čili předat vnitřní hodnotu jedné akce akci druhé. To provedeme operátorem >>=. Výraz, který načte hodnotu od uživatele a následně ji vypíše, bude vypadat následovně:

getLine  >>=  putStr

S předanou hodnotou můžeme udělat i více akcí. Stačí si uvědomit, že předchozí zápis je jen do pointfree převedený výraz

getLine  >>=  \s -> putStr s

getLine  >>=  ( \s -> putStrLn s  >> putStrLn s )

Akce getLine je typu IO String, která slouží k načtení řetězce. Načtený řetězec se stává vnitřní hodnotou akce getLine, která je dostupná jen operátoru (>>=). Pokud bychom chtěli vypsat například výsledek sčítání 3 + 5, musíme jej nejdříve převést na String (funkcí show). To ale nestačí. Operátor >>= musí mít první argument typu IO a. Takže musíme z hodnoty typu String udělat hodnotu typu IO String. A právě tohle dělá funkce return :: a -> IO a (její typ je ještě obecnější, nám bude stačit tento).

return (show (3 + 5))  >>=  putStr