Курсовая работа: Доказательство корректности функциональной реализации библиотек принтер-комбинаторов с выбором

принтер-комбинаторов с выбором

Оглавление

























2

Введение

Данная работа посвящена задаче преобразования данных из некоторого абстракт-ного вида, например, синтаксических деревьев программ, в текст. Такая задача назы-вается pretty printing, а соответствующий инструмент pretty printer (далее принтер).

• качестве примера данных будем рассматривать синтаксические деревья про-грамм. В сфере IT программы используются повсеместно, а потому демонстрировать работу принтеров на них удобно.

Один и тот же текст можно печатать по-разному. Рассмотрим процедуру bar на языке C#: на рис. 1 и 2 представлены три результата форматирования текста этой процедуры, и каждый соответствуют одному абстрактному синтаксическому дереву.




Рис. 1: Процедура bar: неформатированный код














(a) Без учета ширины (b) С учетом ширины

Рис. 2: Процедура bar: форматированный код

Текст процедуры bar, представленный на рис. 1, читать трудно, так как в нем явно не прослеживается структура программы. Следует отметить, что в рамках од-ного языка существует несколько способов текстового представления одной и той же программы (проще говоря, способов форматирования), например удовлетворяющих разным стандартам (такие стандарты существуют в большинстве крупных промыш-ленных проектах). Например, могут разрешаться длинные языковые конструкции (рис. 2a), но недостатком такого представления является то, текст может не поме-щаться в ширину экрана. Форматирование с ограничением на ширину вывода ил-люстрируется на рис. 2b. Таким образом