haskell - не дайте разочароваться

foo = do hSetBuffering stdin LineBuffering putStrLn "write something" getLine

*Main> :t foo foo :: IO String *Main> bar <- foo write something hello *Main> bar "hello" *Main> :t bar bar :: String

Или я что-то не понял? Можешь кусок кода привести?

Тьфу

import IO

foo = do 
     hSetBuffering stdin LineBuffering 
     putStrLn "write something" 
     getLine

*Main> :t foo 
foo :: IO String 
*Main> bar <- foo 
write something 
hello 
*Main> bar 
"hello" 
*Main> :t bar 
bar :: String 

так-то оно так...

ну вот скажем:
-----------------
module Main
where

import IO

reader = do 
     hSetBuffering stdin LineBuffering 
     putStrLn "write something" 
     getChar

main = do
	smth <- reader	
	putStrLn $show $engine smth

engine :: Char -> Int 
engine 'a' = 0
engine _   = 1

-----------------

но как воспользоваться ентим '<-' не в императивной функции - без do?

чё-то я уже и сам не оч. понимаю, чего хочу - иду сапть :)

Ну, если уж очень хочеться - есть unsafePerformIO. Но, вследствие ленивости, оно будет выполняться неизвестно когда, что может тебе не понравиться. Т.ч. лучше оставить IO-у - IO-ово, и пользоваться не (<-)ой а её результатом.

По-хорошему (без unsafePerformIO) из монады IO вырваться нельзя, да и
_не нужно_ в твоем случае.

procIO = do datum <- receive
            let result = process datum
            send result
datum   :: Datum
receive :: IO Datum
process :: Datum -> Result
send    :: Result -> IO ()

Всю обработку здесь выполняет pure-код.

А не надо им там пользоваться, pure-функция получит это значение в качестве параметра. Pi, не забывай - результат pure-функции зависит только от ее параметров, т.е. никакого ввода/вывода там быть не может (ну кроме trace).

Который реализован с помощью unsafePerformIO :)