Адресная книжка на Haskell (стр. 1 из 3)
Федеральное министерство по образованию РФ
Владимирский Государственный Университет
Кафедра ФиПМ
ОТЧЕТ
По курсовому проекту
По дисциплине
«Функциональное программирование»
Выполнил: Николаева А. М.
Принял: Медведева О.Н.
Владимир 2009
Содержание
1. Постановка задачи. Исходные данные
2. Теоретическая часть
2.1 Основы HTML
2.1.1 Структура программы на HTML
2.1.2 Основные Теги
2.1.3 Тег для создания ссылки на почтовый ящик
2.2 Выражения в Haskell
2.2.1 Кортежи
2.2.2 Списки
2.2.3 Do – выражение
2.3 Монада ввода/вывода
2.3.1 Функции ввода
2.3.2 Функции вывода
2.3.3 Обработка исключений
2.3.4 Файлы, каналы и обработчики
2.4 GUI
2.4.1 wxWidgets
2.4.2 wxHaskell
3. Анализ задачи
4. Программная реализация
5. Тестирование программы
Заключение
Список использованной литературы
1. Постановка задачи. Исходные данные
Разработать алгоритм поиска адресов e-mail, ICQ и имен пользователей в файлах и в качестве формата вывода использовать .html страницу. Реализовать его с помощью среды разработки GHCi языка Haskell.
Исходные данные:
Файл icq.txt, содержащий e-mail адреса и номера ICQ.
Файл e-mail.txt, содержащий ИОФ и e-mail.
Где поле ICQ является необязательным, а поле ИОФ может не содержать 1 или 2 составляющих аббревиатуры. Поле e-mail является обязательным для обоих файлов, так как по нему осуществляется поиск.
Содержимое и формат исходных файлов:
Файл вывода с расширением *.html или *.htm или *.mht может быть как существующим на диске или создаваемым пользователем.
2. Теоретическая часть
2.1 Основы HTML
2.1.1 Структура программы на HTML
Структура HTML-документа определяется упорядоченным набором тегов следующего вида:
<HTML>
<HEAD>
</HEAD>
<BODY>
</BODY>
</HTML>
Программа клиент-браузер при просмотре файлов с этими тегами выполняет отображение документа в окне. Каждый такой файл имеет расширение html или htm, а набрать его можно в любом текстовом редакторе. Теги играют роль команд заставляют браузер выполнить предписываемые ими действия. Область действия тега определяется тем местом, где он указан, и тем местом, где он закрыт (записан в угловых скобках с предшествующей косой чертой).
2.1.2 Основные Теги
<html></html>
Тег HTML указывает начало и конец HTML документа.
<head></head>
Тег HEAD (заголовок HTML-документа) содержит информацию, относящуюся к документу в целом.
<body></body>
Тег BODY охватывает ту часть HTML-документа (текст, изображения и элементы формирования), которая будет видна пользователю.
<title></title>
Тег TITLE устанавливает заголовок HTML-документа, выводимый в строке заголовка окна броузера.
<body bgcolor=?>
Атрибут BGCOLOR устанавливает цвет фона HTML-документа. Цвет может быть указан с помощью с помощью названия или шестнадцатиричного кода.
<body text=?>
Атрибут TEXT устанавливает цвет для всего текста HTML-документа. Цвет может быть указан с помощью с помощью названия или шестнадцатиричного кода.
<font size=?></font>
Атрибут SIZE тега FONT устанавливает относительный размер шрифта. Список возможных значений состоит из положительных и отрицательных чисел от 0 до 7.
<font color=?></font>
Атрибут COLOR тега FONT устанавливает цвет текста. Цвет может быть указан с помощью с помощью названия или шестнадцатиричного кода.
<table></table>
Тег TABLE устанавливает начало и конец таблицы. Все теги, определяющие структуру таблицы, должны располагаться между тегами TABLE.
<tr></tr>
Тег TR определяет строку таблицы.
<td></td>
Тег TD определяет колонку таблицы. Текст, заключенный между тегами TD ("table data" - табличные данные), отображается внутри одной ячейки.
<th></th>
Тег TH устанавливает режим отображения текста в виде заголовка таблицы.
<table border=?>
Атрибут BORDER тега TABLE устанавливает ширину рамки таблицы в пикселах.
<tr align=?> or <td align=?>
Атрибут ALIGN устанавливает выравнивание содержимого ячейки по ее левому краю (LEFT), по центру (CENTER) или по ее правому краю (RIGHT).
2.1.3 Тег для создания ссылки на почтовый ящик
<a href="URL"></a>
Тег A устанавливает связь с некоторой точкой внутри того же HTML-документа или с другим URL (гипертествовая ссылка). Атрибут HREF тега A описывает объект, представляющий собой текст или рисунок внутри HTML-документа, либо текст или рисунок во внешнем документе.
<a name="NAME"></a>
Тег A устанавливает связь с некоторой точкой внутри того же HTML-документа или с другим URL (гипертествовая ссылка). Атрибут NAME тега A описывает точку внутри HTML-документа, в которую нужно переместить пользователя.
Поставить ссылку на чей-то адрес электронной почты не составляет труда. Мы просто пишем:
<a href="mailto:foo@mail.com">Спамте меня, ребята!</a>
2.2 Выражения в Haskell
2.2.1 Кортежи
Кортежи записываются в виде (e1 , . . . , ek) и могут быть произвольной длины
k >= 2 . Конструктор для кортежа размером n обозначается (,...,), где n − 1 запятых.
Таким образом, (a,b,c) и (,,) a b c обозначают одно и то же значение. Стандартные операции над кортежами описаны в Prelude.
Трансляция: (e1 , . . . , ek) для k >= 2 является экземпляром кортежа размера
k, в соответствии с определением в Prelude и не требуют трансляции. Если t1 , ...
, tk – соответствующие типы e1 , ... , ek , то типом кортежа будет (t1 , . . . , tk).
2.2.2 Списки
Списки записываются в виде [e1, ..., ek], где k>=1. Конструктором списка является :, пустой список обозначается []. Стандартные операции над списками описаны в Prelude:
Функция head возвращает первый элемент списка.
Функция last возвращает последний элемент списка.
Функция tail возвращает список без первого элемента
Функция init возвращает список без последнего элемента
Функция null проверяет список на пустоту. Если в качестве аргумента этой опера-ции будет задан пустой список, то функция выдаст значение True, в противном случае - False
Функция length возвращает длину списка.
Функция elem проверяет наличие элемента в списке.
Функция take возвращает список, состоящий из n первых элементов исходного списка.
Функция zip возвращает список, состоящий из пар объединенных исходных списков.
Функция !! возвращает элемент, номер которого задан (начиная с 0).
Функции head и tail определены для непустых списков. При попытке применить их к пустому списку интерпретатор сообщает об ошибке.
2.2.3 Do – выражение
exp -> do { stmts } (do-выражение)
stmts -> stmt1 ... stmtn exp [;] (n>=0)
stmt -> exp ;
| pat <- exp ;
| let decls ;
| ; (пустая инструкция)
Перевод:
выражение -> do { список-инструкций } (do-выражение)
список-инструкций -> инструкция1 ... инструкцияn выражение [;] (n>=0)
инструкция -> выражение ;
| образец <- выражение ;
| let список-объявлений ;
| ; (пустая инструкция)
Do-выражения предоставляют более удобный синтаксис для монадического программирования. Оно позволяет записать такое выражение
putStr "x: " >>
getLine >>= \l ->
return (words l)
в более традиционном виде:
doputStr "x: "
l <- getLine
return (words l)
Трансляция:
Для do-выражений выполняются следующие тождества, которые, после удаления пустых stmts, можно использовать в качестве трансляции в ядро:
do {e} =e
do {e;stmts} =e >> do {stmts}
do {p <- e; stmts} =let ok p = do {stmts}
ok _ = fail "..."
in e >>= ok
do {let decls; stmts} =let decls in do {stmts}
Пропуски "..." обозначают генерируемое компилятором сообщение об ошибке, передаваемое функции fail, желательно давая некоторое указание на местоположение ошибки сопоставления с образцом; функции >>, >>= и fail являются операциями в классе Monad, определенными в Prelude; ok является новым идентификатором.
Как показано в трансляции do, переменные, связанные let, имеют полностью полиморфные типы, тогда как те переменные, которые определены с помощью <-, являются связанными лямбда-выражением и поэтому являются мономорфными.
2.3 Монада ввода/вывода
2.3.1.Функции ввода
Эти функции считывают данные из стандартного устройства ввода (обычно это пользовательский терминал).
getChar :: IO Char
getLine :: IO String
getContents :: IO String
interact :: (String -> String) -> IO ()
readIO :: Read a => String -> IO a
readLn :: Read a => IO a
Операция getChar вызывает исключение при появлении признака конца файла, a предикат isEOFError, который распознает это исключение, определен в библиотеке IO. Операция getLine вызывает исключение при тех же обстоятельствах, что и hGetLine, определенная в библиотеке IO.
Операция getContents возвращает весь пользовательский ввод в виде одной строки, которая считывается лениво, по мере надобности. Функция interact принимает в качестве аргумента функцию типа String->String. Весь ввод из стандартного устройства ввода передается этой функции в качестве аргумента, а результирующая строка выводится на стандартное устройство вывода.
Обычно операция read из класса Read используется для преобразования строки в значение. Функция readIO похожа на read, за исключением того, что она предупреждает монаду ввода - вывода об ошибке разбора вместо завершения программы. Функция readLn объединяет getLine и readIO.
2.3.2 Функции вывода
Эти функции записывают в стандартное устройство вывода (обычно это пользовательский терминал).
putChar :: Char -> IO ()
putStr :: String -> IO ()
putStrLn :: String -> IO () -- добавляет символ новой строки
print :: Show a => a -> IO ()
Функция print выводит значение любого пригодного для печати типа на стандартное устройство вывода. Пригодные для печати типы --- это те типы, которые являются экземплярами класса Show; print преобразует значения в строки для вывода, используя операцию show, и добавляет символ новой строки.