Do нотация и чтение из файла

@mhd · Регистрация: 16.10.2014

Студворк — интернет-сервис помощи студентам

Например я хочу прочитать построчно файл, содержащий только числа, что-то сделать с этими числами и вернуть результат действий над этими числами. Для этого я написал следующую тестовую функцию для чтения из файла:

Haskell
1
2
3
4
5
6
7
8
9
getIntFromFile :: () -> Int
getIntFromFile _ = do
                       h <- openFile "/tmp/file" ReadMode
                       str <- hGetLine h
                       let x = read str :: Int
                           str <- hGetLine h
                       let y = read str :: Int
                       hClose h
                       x + y

При загрузке файла с этой функцией в ghci, я получаю вывод:

Prelude System.IO> :l graphBat.hs
[1 of 1] Compiling Plugins.GraphBat ( graphBat.hs, interpreted )

graphBat.hs:77:22:
Couldn't match type ‘IO b0’ with ‘Int’
Expected type: IO Handle -> (Handle -> IO b0) -> Int
Actual type: IO Handle -> (Handle -> IO b0) -> IO b0
In a stmt of a 'do' block: h <- openFile "/tmp/file" ReadMode
In the expression:
do { h <- openFile "/tmp/file" ReadMode;
str <- hGetLine h;
let x = ...;
str <- hGetLine h;
.... }
In an equation for ‘getIntFromFile’:
getIntFromFile _
= do { h <- openFile "/tmp/file" ReadMode;
str <- hGetLine h;
let x = ...;
.... }

graphBat.hs:85:22:
Couldn't match expected type ‘IO b0’ with actual type ‘Int’
In the first argument of ‘(+)’, namely ‘x’
In a stmt of a 'do' block: x + y

graphBat.hs:85:26:
Couldn't match expected type ‘IO b0’ with actual type ‘Int’
In the second argument of ‘(+)’, namely ‘y’
In a stmt of a 'do' block: x + y
Failed, modules loaded: none.

Вопрос - что я делаю неправильно и как писать типовую функцию чтения файла и его обработки?

@Catstail · 16.10.2014, 17:34

Навскидку: это "нечистая" функция и она не может возвращать данные типа Int.

@Curry · 16.10.2014, 18:30

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
import  System.IO
 
-- исправленная
getIntFromFile :: IO Int
getIntFromFile = do
                       h <- openFile "/tmp/file" ReadMode
                       str <- hGetLine h
                       let x = read str :: Int
                       str <- hGetLine h
                       let y = read str :: Int
                       hClose h
                       return $ x + y
 
-- Я бы предпочёл так. withFile сама закроет файл
getIntFromFile' :: IO Int
getIntFromFile' = withFile "/tmp/file" ReadMode $ \ h -> do
                       str <- hGetLine h
                       let x = read str :: Int
                       str <- hGetLine h
                       let y = read str :: Int
                       return $ x + y

@Algiz · 16.10.2014, 22:59

Кому-то следует получше изучить монады, почитать про лень в IO и следить за отступами.

Haskell
1
2
3
4
5
6
7
8
9
getIntFromFile :: IO Int
getIntFromFile = do
                       h <- openFile "file" ReadMode
                       str <- hGetLine h
                       let x = read str :: Int
                       str <- hGetLine h
                       let y = read str :: Int
                       hClose h
                       return$ x + y

@Curry · 16.10.2014, 23:09

Кстати, тип для x и y можно было не указывать. Haskell сам выведет тип по типу результата ф-ии getIntFromFile.

Haskell
1
let x = read str

@Araneo · 16.10.2014, 23:41

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

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
getIntFromFile :: IO Int
getIntFromFile = do
    h <- openFile "/tmp/file" ReadMode
    x <- hReadLine h
    y <- hReadLine h
    hClose h
    return $ x + y
 
getIntFromFile' :: IO Int
getIntFromFile' = withFile "/tmp/file" ReadMode $ \ h -> do
    x <- hReadLine h
    y <- hReadLine h
    return $ x + y
 
hReadLine h = do
    str <- hGetLine h
    return $ read str

@Curry · 16.10.2014, 23:59

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

Аха!

Тогда зачем do в hReadLine ?

Haskell
1
hReadLine h = read <$> hGetLine h

@Araneo · 17.10.2014, 00:17

По инерции. А вообще благодарю, нет приедела совершенству.

@Catstail · 17.10.2014, 11:09

Зачем по одному числу выбирать? Вот код, которые превращает одноколоночный текстовый файл в список целых:

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
import System.IO
 
s2int :: [String] -> [Int]                       
s2int s = map read s :: [Int]                       
                       
funct :: String -> IO [Int]
funct fnam = do
               handle <- openFile fnam ReadMode
               contf  <- hGetContents handle
               return $ s2int (lines contf)
 
main = do
       res <- funct "D:\\333.txt"               
       putStr $ show res

@Curry · 17.10.2014, 11:14

У Вас ошибка - вы файл не закрываете. Оно, понятно, для ReadMode и так сойдёт, но плохая практика.
А файл целиком проще загрузить одной функцией readFile http://hackage.haskell.org/pac... v:readFile , тогда и закрывать его не надо.

@Catstail · 17.10.2014, 11:35

KolodeznyDiver, функция hGetContents делает, похоже, примерно то же самое (и хэндл закрывает). Если же сделать так:

Haskell
1
2
3
4
5
6
7
funct :: String -> IO [Int]
funct fnam = do
               handle <- openFile fnam ReadMode
               contf  <- hGetContents handle
               hFlush handle
               hClose handle
               return $ s2int (lines contf)

то выдается сообщение "Flush: Неверная операция. Хэндл закрыт". Но еще интереснее будет если поступить так:

Haskell
1
2
3
4
5
6
funct :: String -> IO [Int]
funct fnam = do
               handle <- openFile fnam ReadMode
               contf  <- hGetContents handle
               hClose handle
               return $ s2int (lines contf)

Функция отрабатывает, но возвращает пустой список. Возможно, это связано с ленью...

@Curry · 17.10.2014, 12:32

Да, во всём виновата лень!

Про hGetContents написано, что она semi-closed .
http://hackage.haskell.org/pac... etContents
hFlush сбрасывает буфер на диск. Для ReadMode она не нужна.

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
import  System.IO
import Control.Exception (evaluate)
 
s2int :: [String] -> [Int]                       
s2int s = map read s 
 
funct :: String -> IO [Int]
funct fnam = do
               handle <- openFile fnam ReadMode
               contf  <- hGetContents handle
               evaluate (length contf) -- нужно сделать что то реальное с контекстом  до закрытия
               hClose handle
               return $ s2int (lines contf)
 
main = do
       res <- funct "D:\\tmp\\333.txt"               
       print res

@Catstail · 17.10.2014, 12:54

Сообщение от KolodeznyDiver

hFlush сбрасывает буфер на диск.

- я понимал flush более широко: завершение всех начатых операций.

Добавлено через 1 минуту

Сообщение от KolodeznyDiver

нужно сделать что то реальное с контекстом до закрытия

- попробуйте просто напечатать.

@Curry · 17.10.2014, 13:36

- попробуйте просто напечатать.

И так можно. Но лишний вывод не требуется по условиям задачи.
А ещё есть пакет strict http://hackage.haskell.org/pac... trict.html
в котором hGetContents и другие ф-ии НЕ ленивые.
Можно не ленивую hGetSome и подобные использовать.

@Catstail · 17.10.2014, 14:14

Сообщение от KolodeznyDiver

И так можно.

- а не получается...

@Curry · 17.10.2014, 14:20

Попробовал печать до hClose, работает

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
import  System.IO
--import Control.Exception (evaluate)
 
s2int :: [String] -> [Int]                       
s2int = map read
 
funct :: String -> IO [Int]
funct fnam = do
               handle <- openFile fnam ReadMode
               contf  <- hGetContents handle
               -- evaluate (length contf) -- нужно сделать что то реальное с контекстом  до закрытия
               putStrLn contf
               hClose handle
               return $ s2int (lines contf)
 
main = do
       res <- funct "D:\\tmp\\333.txt"               
       print res

Работает. Что не получается? Ошибка какая выдаётся?

@Catstail · 17.10.2014, 14:29

Сообщение от KolodeznyDiver

Ошибка какая выдаётся?

- никакой. Безаварийное завершение. Результат [].

@Curry · 17.10.2014, 14:46

Опять что то зависящее от компилятора? Я в GHCi проверяю. Исходный файл

123
456
789

В конце нет пустой строки, иначе read исключение выкинет.
Результат

*Main> :reload
Ok, modules loaded: Main.
*Main> main
123
456
789
[123,456,789]
*Main>

А с evaluate то же самое? С удалённым hClose handle работает?

@Catstail · 17.10.2014, 15:43

KolodeznyDiver, отбой! Все работает.

@mhd · 18.10.2014, 21:09 **[ТС]**

Смысл синтаксической ошибке стал ясен - do работает с монадами, поэтому нужно возвращать монаду. Что делать если я хочу получить из функции какой то тип не завёрнутый в монаду? В данном примере я хотел получить Int а должен получать IO Int.

Новые блоги и статьи Все статьи Все блоги /
Оттенки серого Argus19 18.03.2026 Оттенки серого Нашёл в интернете 3 прекрасных модуля: Модуль класса открытия диалога открытия/ сохранения файла на Win32 API; Модуль класса быстрого перекодирования цветного изображения в оттенки. . .	SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .
делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .

@Catstail Супер-модератор 38192 / 21125 / 4309 Регистрация: 12.02.2012 Сообщений: 34,732 Записей в блоге: 14
	16.10.2014, 17:34
	Навскидку: это "нечистая" функция и она не может возвращать данные типа Int. 0

@Araneo 650 / 260 / 16 Регистрация: 02.03.2014 Сообщений: 587
	17.10.2014, 00:17
	По инерции. А вообще благодарю, нет приедела совершенству. 1

@Curry Модератор 5158 / 3487 / 536 Регистрация: 01.06.2013 Сообщений: 7,566 Записей в блоге: 9
	17.10.2014, 11:14
	У Вас ошибка - вы файл не закрываете. Оно, понятно, для ReadMode и так сойдёт, но плохая практика. А файл целиком проще загрузить одной функцией readFile http://hackage.haskell.org/pac... v:readFile , тогда и закрывать его не надо. 1

@Catstail Супер-модератор 38192 / 21125 / 4309 Регистрация: 12.02.2012 Сообщений: 34,732 Записей в блоге: 14
	17.10.2014, 15:43
	KolodeznyDiver, отбой! Все работает. 0

@mhd 0 / 0 / 0 Регистрация: 16.10.2014 Сообщений: 6
	18.10.2014, 21:09 [ТС]
	Смысл синтаксической ошибке стал ясен - do работает с монадами, поэтому нужно возвращать монаду. Что делать если я хочу получить из функции какой то тип не завёрнутый в монаду? В данном примере я хотел получить Int а должен получать IO Int. 0