Операция проверки ввода

@LIKAN_BLK · Регистрация: 05.05.2012

Author24 — интернет-сервис помощи студентам

Надо сделать проверку того, что введенный юзером файл существует, иначе запросить повторный ввод. Что заядлый процедурник пишет:

Haskell

 getSrc :: String
 getSrc  = do src <- getLine
              result <- doesFileExist src
              if result then src
              else getSrc

Но вот ведь зараза, функция, которая использует ввод/ вывод должна возвращать IO a, , если я сделаю так:

Haskell

1	getSrc :: IO ()

то функция станет бесполезной, ибо в мейне я никак не узнаю, как там завершилась проверка. Если сделаю так:

Haskell

1	getSrc :: IO String

то как мне src, который String, превратить в IO String. Подскажиете, добрые люди, что делать. Или я вообще не в ту сторону копаю?

@Mysterious Light · 28.11.2013, 01:55

Правильно рассуждаете.
Как String превратить в IO String?
Более общно: как тип a превратить в m a, где (Monad m)?
Для этого есть натуральный морфизм return:

Haskell

1	return src :: IO String

@Algiz · 28.11.2013, 12:04

LIKAN_BLK, Странно, что ты работаешь в монаде IO и при этом не знаешь методов монад(которых всего 2 >>= и return). Настоятельно советую углубить знание сего материала.

@LIKAN_BLK · 28.11.2013, 17:19 **[ТС]**

Спасибо за помощь.
Ну я просто ессе Душкина по порядку читаю, там сказано, мол доработайте пример программы, вот и дорабатываю, а до монад ещё далеко.

@Algiz 163 / 163 / 22 Регистрация: 23.02.2011 Сообщений: 347
	28.11.2013, 12:04	3
	LIKAN_BLK, Странно, что ты работаешь в монаде IO и при этом не знаешь методов монад(которых всего 2 >>= и return). Настоятельно советую углубить знание сего материала. 0

@LIKAN_BLK 0 / 0 / 0 Регистрация: 05.05.2012 Сообщений: 19
	28.11.2013, 17:19 [ТС]	4
	Спасибо за помощь. Ну я просто ессе Душкина по порядку читаю, там сказано, мол доработайте пример программы, вот и дорабатываю, а до монад ещё далеко. 0