Миран Липовача - Изучай Haskell во имя добра!

Подобно тому как функция hGetContentsработает по аналогии с функцией getContents, но с указанным файлом, существуют функции hGetLine, hPutStr, hPutStrLn, hGetCharи т. д., ведущие себя так же, как их варианты без буквы h, но принимающие дескриптор как параметр и работающие с файлом, а не со стандартным вводом-выводом. Пример: putStrLn– это функция, принимающая строку и возвращающая действие ввода-вывода, которое напечатает строку на терминале, а затем выполнит перевод на новую строку. Функция hPutStrLnпринимает дескриптор файла и строку и возвращает действие, которое запишет строку в файл и затем поместит в файл символ(ы) перехода на новую строку. Функция hGetLineпринимает дескриптор и возвращает действие, которое считывает строку из файла.

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

Сигнатура функции readFileтакова:

readFile :: FilePath –> IO String

Мы помним, что тип FilePath– это просто удобное обозначение для String. Функция readFileпринимает путь к файлу и возвращает действие ввода-вывода, которое прочитает файл (лениво, конечно же) и свяжет содержимое файла в виде строки с некоторым именем. Обычно это более удобно, чем вызывать функцию openFileи связывать дескриптор с именем, а затем вызывать функцию hGetContents. Вот как мы могли бы переписать предыдущий пример с использованием readFile:

import System.IO

main = do

contents <���– readFile "girlfriend.txt"

putStr contents

Так как мы не получаем дескриптор файла в качестве результата, то не можем закрыть его сами. Если мы используем функцию readFile, за нас это сделает язык Haskell.

Функция writeFileимеет тип

writeFile :: FilePath –> String –> IO ()

Она принимает путь к файлу и строку для записи в файл и возвращает действие ввода-вывода, которое выполнит запись. Если такой файл уже существует, перед записью он будет обрезан до нулевой длины. Вот как получить версию файла girlfriend.txt в верхнем регистре и записать её в файл girlfriendcaps.txt :

import System.IO

import Data.Char

main = do

contents <���– readFile "girlfriend.txt"

writeFile "girlfriendcaps.txt" (map toUpper contents)

Функция appendFileимеет ту же сигнатуру, что и writeFile, и действует почти так же. Она только не обрезает уже существующий файл до нулевой длины перед записью, а добавляет новое содержимое в конец файла.

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

Наша программа будет читать из стандартного потока ввода одну строку и добавлять её в конец файла todo.txt :

import System.IO

main = do

todoItem <���– getLine

appendFile "todo.txt" (todoItem ++ "\n")

Обратите внимание на добавление символа конца строки вручную, функция getLineвозвращает строку без него.

Сохраните этот файл с именем appendtodo.hs , скомпилируйте его и несколько раз запустите.

$ ./appendtodo

Погладить посуду

$ ./appendtodo

Помыть собаку

$ ./appendtodo

Вынуть салат из печи

$ cat todo.txt

Погладить посуду

Помыть собаку

Вынуть салат из печи

ПРИМЕЧАНИЕ.Программа catв Unix-подобных системах используется для вывода содержимого текстового файла на терминал. В Windows можно воспользоваться командой typeили посмотреть содержимое файла в любом текстовом редакторе.

Мы уже написали программу, которая добавляет новый элемент к списку заданий в файл todo.txt ; теперь напишем программу для удаления элемента. Мы применим несколько новых функций из модуля System.Directoryи одну новую функцию из модуля System.IO; их работа будет объяснена позднее.

import System.IO

import System.Directory

import Data.List

main = do

contents <���– readFile "todo.txt"

let todoTasks = lines contents

numberedTasks = zipWith (\n line –> show n ++ " – " ++ line)

[0..] todoTasks

putStrLn "Ваши задания:"

mapM_ putStrLn numberedTasks

putStrLn "Что вы хотите удалить?"

numberString <���– getLine

let number = read numberString

newTodoItems = unlines $ delete (todoTasks !! number) todoTasks