A
ну да, потому что если написать
line <- getLine
let x = doSomething line
то x имеет тип того, что вернет doSomething
line <- getLine
let x = doSomething line
то x имеет тип того, что вернет doSomething
print $Size: a a a
2020 December 11
DB
а не
A
а getLine >>= doSomething это оно же, но в IO
AP
Что значит "в IO"?
AP
Не путайте других своими аналогиями
D
классическое "как достать String из IO"
AP
тут не нужно доставать
DB
как достать что угодно из монады
DB
Что не так?
Читай Learn You A Haskell
AP
line <- getLine; doSomething line
этоgetLine >>= \line -> doSomething line
то естьgetLine >>= doSomethingAP
При условии, что изначальный код тайпчекается
AP
Но это неверно, судя по скринам выше
AP
Потому что doSomething не возвращает IO
AP
JM
line <- getLine; doSomething line
этоgetLine >>= \line -> doSomething line
то естьgetLine >>= doSomethingВот оно как
AP
Перед тем, как спрашивать про то, как упростить код, неплохо бы иметь этот код работающим
D
ну или типы показать
DB
Или почитать LYAH
JM
Перед тем, как спрашивать про то, как упростить код, неплохо бы иметь этот код работающим
main = do
line <- getLine
print $ h line
AP
getLine >>= print . h