r65 - 17 Dec 2011 - 21:28:52 - Evgeniy KolenkoYou are here: TWiki >  Refaldevel Web > WebHome

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

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

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

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

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

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

Связь

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

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

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

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

Скачать

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

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

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

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

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

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

  • 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.
Show attachmentsHide attachments
Topic attachments
I Attachment Action Size Date Who Comment
pngpng eclipse.png manage 27.6 K 21 Mar 2008 - 15:12 Anton Orlov RfpDT? implementation scheme
pngpng to-imperative-scheme.png manage 53.5 K 21 Mar 2008 - 15:14 Anton Orlov Refal compiler implementation scheme
Edit | WYSIWYG | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r65 < r64 < r63 < r62 < r61 | More topic actions
 
R+

This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback