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

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

Сигнатура функции 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

(tempName, tempHandle) <���– openTempFile "." "temp"

hPutStr tempHandle newTodoItems

hClose tempHandle

removeFile "todo.txt"

renameFile tempName "todo.txt"

Сначала мы читаем содержимое файла todo.txt и связываем его с именем contents. Затем разбиваем всё содержимое на список строк. Список todoTasksвыглядит примерно так:

["Погладить посуду", "Помыть собаку", "Вынуть салат из печи"]

Далее соединяем числа, начиная с 0, и элементы списка дел с помощью функции, которая берёт число (скажем, 3) и строку (например, "привет") и возвращает новую строку ( "3 – привет"). Вот примерный вид списка numberedTasks:

["0 - Погладить посуду", "1 - Помыть собаку", "2 - Вынуть салат из печи"]

Затем с помощью вызова mapM_ putStrLn numberedTasksмы печатаем каждое задание на отдельной строке, после чего спрашиваем пользователя, что он хочет удалить, и ждём его ответа. Например, он хочет удалить задание 1 (Помыть собаку), так что мы получим число 1. Значением переменной numberStringбудет "1", и, поскольку вместо строки нам необходимо число, мы применяем функцию readи связываем результат с именем number.

Помните функции deleteи !!из модуля Data.List? Оператор !!возвращает элемент из списка по индексу, функция deleteудаляет первое вхождение элемента в список, возвращая новый список без удалённого элемента. Выражение ( todoTasks !! number), где number– это 1, возвращает строку "Помыть собаку". Мы удаляем первое вхождение этой строки из списка todoTasks, собираем всё оставшееся в одну строку функцией unlinesи даём результату имя newTodoItems.

Далее используем новую функцию из модуля System.IO– openTempFile. Имя функции говорит само за себя: open temp file– «открыть временный файл». Она принимает путь к временному каталогу и шаблон имени файла и открывает временный файл. Мы использовали символ .в качестве каталога для временных файлов, так как .обозначает текущий каталог практически во всех операционных системах. Строку "temp"мы указали в качестве шаблона имени для временного файла; это означает, что временный файл будет назван tempплюс несколько случайных символов. Функция возвращает действие ввода-вывода, которое создаст временный файл; результат действия – пара значений, имя временного файла и дескриптор. Мы могли бы открыть обычный файл, например с именем todo2.txt , но использовать openTempFile– хорошая практика: в этом случае не приходится опасаться, что вы случайно что-нибудь перезапишете.

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

Затем мы закрываем временный файл и удаляем исходный с помощью функции removeFile, которая принимает путь к файлу и удаляет его. После удаления старого файла todo.txt мы используем функцию renameFile, чтобы переименовать временный файл в todo.txt . Обратите внимание: функции removeFileи renameFile(обе они определены в модуле System.Directory) принимают в качестве параметров не дескрипторы, а пути к файлам.