Поверните рекурсию в складку?

Question

Я написал этот код, который проходит через строки дескриптора файла и выполняет с ним произвольное действие. Я не думаю, что это должно быть рекурсивным - могу ли я превратить его в фолд-действие?

Спасибо!

processHandle :: Handle -> (String->IO()) -> IO() 
processHandle h fn = do 
        eof <- hIsEOF h 
        if eof then 
        return() 
        else do 
         myLine <- hGetLine h 
         fn myLine 
         processHandle h fn 

Answer 1

Ручная работа с ручками очень небезопасна в Haskell. Он плохо сочетается с функциональным стилем программирования.

Для простого ввода процессора, как это, это, наверное, лучше просто прочитать весь файл как один (ленивый) строки и обрабатывать строки, которые:

processHandle h fn = mapM_ fn . lines =<< hgetContents h 

Конечно, это также может напишите как сгиб, просто посмотрите вверх the definition of mapM_.

Теперь этот подход с ленивым IO не подходит для многих серьезных приложений. Если это не один огромный файл, тогда вам может быть хорошо, если вы просто прочитаете файл строго with the Data.Text equivalent. Иначе, если вам действительно нужно прочитать строки, чередующиеся с шагами обработки, лучше взгляните на conduit.