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

<- ?

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

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

Тьфу

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?

а вообще-то до меня по капельке начинает доходить... если оно откуда-то вошло, то оно определённо должно выйти, а всё логику можно впихнуть в чисто функциональный engine...

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

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

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

Вот только не надо без необходимости пользоваться unsafePerformIO

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

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

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

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

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

spasibo! ty ulovil sut' moih esteticheskih muchenij :) sionia po doroge na rabotu dumyslil ih primerno do takih ze rezul'tatov.

> (ну кроме trace).

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