Добро пожаловать на сайт, посвящённый развитию языка Рефал!
Цель нашего проекта создание удобного, надёжного и переносимого окружения для программирования на диалектах языка Рефал.
Наш подход к реализации Рефала основан на компиляции рефал-программ в императивный код, который легко транслируется в распространённые языки программирования, такие как C++ и Java. Это позволяет обеспечить работу рефал-программ на множестве современных систем и даёт возможность свободного взаимодействия кода на Рефале с кодом на императивных языках. В частности, программистам на Рефале становится доступна вся мощь библиотек, написанных для С++ или Java, а программисты на этих языках получают возможность использовать в своих проектах Рефал для определённых подзадач.
В качестве базового диалекта Рефала, на который мы ориентируемся, выбран язык
Рефал Плюс.
Лента новостей
Что такое Рефал и Рефал Плюс?
Связь
У вас есть замечания, предложения, комментарии, вопросы?
Их можно донести до рефал-общественности следующими способами.
- Высказаться прямо на этом сайте, подправив любую страницу. Для этого необходимо зарегистрироваться. Это несложно!
- О замеченных ошибках можно сообщить через систему оповещения об ошибках на сайте разработчиков. Для этого необходимо там зарегистрироваться.
- Самый простой и быстрый способ обратиться к разработчикам написать в список рассылки
.
Любые сообщения по теме проекта приветствуются с радостью!
Скачать
Бинарные дистрибутивы
Исходные коды: (SVN)
http://svn.botik.ru/refal/,
http://trac.botik.ru/refal/.
Update site for Eclipse:
http://rfp.botik.ru/eclipse/.
Инструкция по получению исходных текстов Eclipse-плагина для работы с Рефалом+
Готовая сборка Eclips для работы с Рефал
http://rutracker.org/forum/viewtopic.php?t=3308662
Документация
Установка системы
- Установка системы для работы путём компиляции рефал-программ в C++ и далее в бинарный код:
- В Linux/Unix, если компилятор C++ в наличии (поддерживается g++ и, возможно, Intel C++), должно быть достаточно стандартного:
./configure; make; make install
Для работы с числами произвольной разрядности необходимо предварительно установить библиотеку GMP. Подробнее: Unix Cpp Backend Guide.
- В Windows в качестве компилятора С++ поддержан Visual C++. Об установке и настройке системы для взаимодействия с ним: Visual Cpp Backend Guide.
Использование
- Об использовании интегрированной среды разработки программ на Рефале Плюс (на базе платформы Eclipse): Refal EclipseUI.
- О том как пользоваться компилятором Рефала из командной строки: User Interface.
Устройство системы и проблемы
- Общая схема реализации диалектов языка Рефал путём компиляции в императивные языки:
- Cхема реализации интегрированной среды разработки для языка Рефал Плюс на базе платформы Eclipse:
- Syn Ident --- синтаксическое отождествление в Рефале
Диалекты языка Рефал
Целевые императивные языки
Программа на
абстрактном императивном языке (AIL)
может быть легко выражена на существующих императивных языках
программирования.
На данный момент предполагается обеспечить работоспособность AIL-программ путём создания конвертеров и
библиотек поддержки периода исполнения?
для следующих целевых языков:
Notes:
- You are currently in the Refaldevel web. The color code for this web is this background, so you know where you are.
- If you are not familiar with the TWiki collaboration platform, please visit Welcome Guest first.