- 989 名前：デフォルトの名無しさん [2019/05/04(土) 09:29:06.06 ID:vdfWhHEk.net]
- main = do str <- getLine
putStrLn str
出力に対しても、出力関数が左端になる事を保証します。
(普通の関数との合成なども出来るが、普通の関数が左端に来る関数に出力関数が引数になったり、合成されることは無い)
main = map print [1..3] ― 型エラー。
main = mapM_ print [1..3] ― IOモナド用のmapM(値を返す)やmapM_(値を捨てる)ならおk
main = print.length [1..10] ― 出力関数が左端に来るなら、普通の関数と関数合成可能。
main = mapM (\_ -> getLine) [1..3] >>= mapM_ (print.length) ― 結局、型が合えば動くと言う点では普通の関数と同じ。
