[haskell] IO String -> Int?

Есть ли возможность, зная это, вообще избавится от IO в данном случае?

От IO можно избавиться - unsafePerformIO :-) Но тебе этого не надо:

transformStr :: String -> String
transformStr = ...

readStringFromFile :: IO String
readStringFromFile = ...

main = do s <- readStringFromFile -- тут тип s - String
          let s' = transformStr s

Т.е. полностью разделяются ввод/вывод и преобразования считанных значений.

А как оно выглядит без do-нотации?

Я исходный пример не совсем правильно написал do должно заканчиваться выражение типа m a (т.е. не конструкцией a <- b или let a = b).

>Могу ли я получить из него Int (или String)?

Да, можешь http://www.haskell.org/hoogle/?hoogle=IO+a+-%3E+a

ты не должен этого хотеть

Но что порочного в этом желании?

> Но что порочного в этом желании?

Желания приведут тебя на тёмную сторону силы.

Но что порочного в этом желании?

попытка выдать процедуру за функцию; хочешь играть честно - используй ST или IO

Желания приведут тебя на тёмную сторону силы.

страх, гнев, set!

А чем плоха подобная попытка в моём случае?

setf

А чем плоха подобная попытка в моём случае?

Неопределённостью того как отложенные вычисления совместятся с вводом/выводом.

Хм… В общем виде мне подобная неопределённость понятна, но в конкретном случае значение в файле за время жизни программы поменяться не может. То есть когда бы ни было произведено чтение результат гарантирован один и тот же.

значение в файле за время жизни программы поменяться не может

у тебя есть выбор: либо пользоваться системой типов, эффективно разделяя чистые и IO-операции; либо отказаться от системы типов и вести учёт гарантий самостоятельно (самостоятельно утверждать, что может поменяться, а что не может). во втором случае (который вполне имеет право на жизнь) в качестве языка лучше брать не Haskell

>> во втором случае (который вполне имеет право на жизнь) в качестве языка лучше брать не Haskell

Не во втором, а в единственном.

Не во втором, а в единственном.

конечно-конечно, не волнуйся. галоперидол сегодня ещё не принимал?

Ну тебе то только трамал помогает, да?

мне уже ничего не помогает