Добро пожаловать на сайт, посвящённый развитию языка Рефал!

Цель нашего проекта — создание удобного, надёжного и переносимого окружения для программирования на диалектах языка Рефал.

Наш подход к реализации Рефала основан на компиляции рефал-программ в императивный код, который легко транслируется в распространённые языки программирования, такие как C++ и Java. Это позволяет обеспечить работу рефал-программ на множестве современных систем и даёт возможность свободного взаимодействия кода на Рефале с кодом на императивных языках. В частности, программистам на Рефале становится доступна вся мощь библиотек, написанных для С++ или Java, а программисты на этих языках получают возможность использовать в своих проектах Рефал для определённых подзадач.

В качестве базового диалекта Рефала, на который мы ориентируемся, выбран язык Рефал Плюс.

Лента новостей

Что такое Рефал и Рефал Плюс?

Связь

У вас есть замечания, предложения, комментарии, вопросы?

Их можно донести до рефал-общественности следующими способами.

1. Высказаться прямо на этом сайте, подправив любую страницу. Для этого необходимо зарегистрироваться. Это несложно!
2. О замеченных ошибках можно сообщить через систему оповещения об ошибках на сайте разработчиков. Для этого необходимо там зарегистрироваться.
3. Самый простой и быстрый способ обратиться к разработчикам — написать в список рассылки
   .

Любые сообщения по теме проекта приветствуются с радостью!

Скачать

Бинарные дистрибутивы

Исходные коды: (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

Документация

Установка системы

• Установка интегрированной среды разработки программ на Рефале Плюс (на базе платформы Eclipse): Eclipse Plugin Installation.

• Установка системы для работы путём компиляции рефал-программ в 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.

• FAQ

• Рефал для программистов на Java

Устройство системы и проблемы

• Общая схема реализации диалектов языка Рефал путём компиляции в императивные языки:
  

• Описание реализации: http://skif.pereslavl.ru/refal

• О принципах компиляции Рефала в императивные языки см. Compilation Principles.

• Cхема реализации интегрированной среды разработки для языка Рефал Плюс на базе платформы Eclipse:
  

• Статьи

• Bugs And Arrearage --- ошибки и недоделки

• Syn Ident --- синтаксическое отождествление в Рефале

Диалекты языка Рефал

• Refal Plus
• RefalV?

Целевые императивные языки

Программа на абстрактном императивном языке (AIL) может быть легко выражена на существующих императивных языках программирования.

На данный момент предполагается обеспечить работоспособность AIL-программ путём создания конвертеров и библиотек поддержки периода исполнения? для следующих целевых языков:

• C++ — Cpp Backend
• T++ — Tpp Backend
• Java — Java Backend
• C# — CSharp Backend
• MSIL — MsIL Backend?

Перспективные Направления Развития Проекта Рефал Плюс

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.