И опять глупый вопрос про IO...

[nivanych]

Ну вот, в предыдущих сериях, при помощи знатоков,
мы выяснили, что бинд по первому аргументу строгий.

А теперь, упрощая, допустим, что у меня есть что-то,
получающее из IO по одному символу, ну типа getChar,
и как теперь мне получить ленивую строчку,
чтобы например, обрабатывать регэкспами?

Comments

[thesz]

unsafeInterleaveIO.

[nivanych]

О, спасибо!
Завтра попробую, заодно, всякие регэкспы посравниваю.

[thesz]

И, кстати, не рекомендую использовать его напрямую в конечном коде.

Могут утекать ресурсы (память и handles).

Лучше сделать преобразование в те же потоковые процессоры, будет безопасней.

[nivanych]

Я и хотел поток, но подумал, что может быть,
есть какой-то совсем простой и тупой код...
Впрочем, ненамного сложнее будет.

[alexey_rom]

Только через unsafeInterleaveIO (или unsafePerformIO), насколько я понимаю.

Вот как реализовано hGetContents в GHC:
http://hackage.haskell.org/packages/archive/base/3.0.3.1/doc/html/src/GHC-IO.html#lazyRead

[ex_juan_gan]

напр.

import System.IO
import qualified Data.ByteString.Lazy as L
import qualified Data.ByteString.Lazy.Char8 as C
import Data.Word
import Text.Printf

convert :: [Word8] -> String
convert = concat . (map (printf "%02x"))

bytes2hex = convert . L.unpack

main = do
hSetBinaryMode stdin True
bin <- L.getContents
putStrLn (bytes2hex bin)

Или я неправ?

[lomeo]

допустим, что у меня есть что-то, получающее из IO по одному символу

Так что тут действительно только

readAll :: [Char]
readAll = do
c <- unsafeInterleaveIO getChar
cs <- unsafeInterleaveIO readAll
return (c:cs)

[nivanych]

Только мне надо это не для getChar, а из COM-порта читать.
Ладно. Потоки, это правильно, и нечего мне тут выдуривать.