14
Интегрированная среда разработки для функционального языка Refal Дипломная работа Кулаков Д.М. Научный руководитель Баева Н.В.

Интегрированная среда разработки для функционального языка Refal

  • Upload
    -

  • View
    672

  • Download
    5

Embed Size (px)

DESCRIPTION

Кулаков Дмитрий

Citation preview

Page 1: Интегрированная среда разработки для функционального языка Refal

Интегрированная среда разработки для функционального языка Refal

Дипломная работа

Кулаков Д.М.

Научный руководитель

Баева Н.В.

Page 2: Интегрированная среда разработки для функционального языка Refal

Функциональный язык Refal

Refal-2 является DOS приложением, которое не будет работать в современных 64-битных ОС.

Отсутствует интегрированная среда разработки.

Задачи символьной обработки

информации

Интерпретация и трансляция ЯП

Автоматическое доказательство

теорем

Аналитические преобразования в

математике и теоретической

физике

Page 3: Интегрированная среда разработки для функционального языка Refal

Постановка задачи

Создать интегрированную среду разработки программ на функциональном языке Refal, которая должна предоставлять современные возможности по созданию и редактированию Refal-программ, позволяющую компилировать и выполнять их.

Page 4: Интегрированная среда разработки для функционального языка Refal

Сравнение существующих IDE

Visual

Studio Eclipse

Notepad

++

Sharp

Develop MuLisp ЦельПодсветка синтаксиса + + + + + +

Автодополнение + + - + - +Сворачивание блоков текста + + + + - +Список доступных функций ЯП + + - + - +

Компилятор + + - + + +Справочная информация + + - - + +

Портативность - - - + + +

Page 5: Интегрированная среда разработки для функционального языка Refal

Функциональные возможности проектируемой среды Редактирование текстов Refal-

программ◦ Подсветка синтаксиса

◦ Автодополнение

◦ Сокрытие и отображение сегментов кода

◦ Поиск фрагментов текста

◦ Отображение списка функций

Запуск существующего компилятора◦ Переход к строке, содержащую ошибку

Отображение справочной информации

Page 6: Интегрированная среда разработки для функционального языка Refal

Редактор: проектное решение

Основа – AvalonEdit (www.icsharpcode.net)

Настройка:

Подсветки синтаксиса

Автодополнения

Сокрытия и отображения сегментов кода

Разработка дополнительно:

Поиска фрагментов текста

Отображения списка функций

Page 7: Интегрированная среда разработки для функционального языка Refal

Реализация: подсветка и поиск

Подсветка: Xml-документ

Поиск: использование регулярных выражений

Page 8: Интегрированная среда разработки для функционального языка Refal

Интеграция компилятора

Решение проблем:◦ Создание временного файла для хранения

расширенной программы◦ Реализация стандартной функции работы с

Refal-копилкой◦ Разбиение длинных строк Refal программы◦ Конвертация номеров строк

www.refal.net

Версия 1.8DOS-приложение

Версия 2.3Ошибки в функциях

Page 9: Интегрированная среда разработки для функционального языка Refal

Компиляция справочной информации

Переформатированная версия

Сборщикcправочной

информации Word-To-Chm

Page 10: Интегрированная среда разработки для функционального языка Refal

Диаграмма основных программных классов

Page 11: Интегрированная среда разработки для функционального языка Refal

Пользовательский интерфейс: окно редактирования

Page 12: Интегрированная среда разработки для функционального языка Refal

Пользовательский интерфейс: окно выполнения Refal программы

Page 13: Интегрированная среда разработки для функционального языка Refal

Результаты работы

Произведен сравнительный анализ популярных сред разработки, определены функциональные возможности, необходимые для разработки Refal-программ

Спроектирована и реализована среда Refal Studio, включая◦ Редактор исходных текстов◦ Интегрированный компилятор◦ Справочную систему

Проведено отладочное тестирование на студенческих программах

C# -- .NET Framework 4.0 --Visual Studio

Размер – 14 Мб

Page 14: Интегрированная среда разработки для функционального языка Refal

Спасибо за внимание!