Привет. Я же правильно понимаю, что выражение: printStrLn :: String ->

Question

Привет. Я же правильно понимаю, что выражение: printStrLn :: String ->

IO ()
getLine :: IO String

printStrLn <$> getLine :: IO ( IO () )
Не исполнит сразу все сайд-эффекты, так как "триггером" для того, чтобы редуцирование пошло дальше - является аппликация вида :
IO ()
Но никак не:
IO ( IO () )
Это тоже своего рода ленивость? Или как понять, что эффекты исполняются в последовательности только при "plain" unit-е для IO?

#haskell #programming #russian

0

19.06.2022

9 ответов

19 просмотров

Yerbol Altynbek 🇺🇦 Автор вопроса

Ilya Baryshnikov
Что почему ты считаешь, что должно быть два IO? Вн...

Я пытаюсь ответить себе на вопрос в книге: Почему результат fmap в виде IO ( IO () ) не исполняет в последовательности IO (), который был вложен в IO ( ... ) Я понимаю, что можно просто: getLine >>= putStrLn Где применится join, чтобы избавиться от записи: IO ( IO () )

0

19.06.2022

Ilya Baryshnikov

Yerbol Altynbek 🇺🇦
Я пытаюсь ответить себе на вопрос в книге: Почему ...

Какой IO (IO () ) ?? Откуда? fmap это функция работающая для одно контейнера, она не делает новый

0

19.06.2022

Yerbol Altynbek 🇺🇦 Автор вопроса

Вопрос не поняли. datatype IO обязательно должен быть в виде IO (), чтобы произошло исполнение сайд-эффекта? И почему?

0

19.06.2022

Max Силинг

Yerbol Altynbek 🇺🇦
Вопрос не поняли. datatype IO обязательно должен б...

исполняется только один IO — main он всегда имеет тип IO ()

0

19.06.2022

Nutritional Rabbit

у тебя просто эффект завёрнут в эффект, как значение Если мы сделаем foo = printStrLn <$> getLine main = x <- foo putStrLn "Hi" То у нас попросит ввода, а потом напишет HI

0

19.06.2022

Yerbol Altynbek 🇺🇦 Автор вопроса

Max Силинг
исполняется только один IO — main он всегда имеет ...

Из этого следует, что IO ( IO () ) просто не совпадает по типу с main :: IO () И ничего не выполнит?

0

19.06.2022

Max Силинг

Yerbol Altynbek 🇺🇦
Из этого следует, что IO ( IO () ) просто не совпа...

не совсем рэббит сверху нормально объяснил

0

19.06.2022