[некрофилия][это очень вкусно]Refal

На сколько я знаю, авторы используют его для разработки суперкомпилятора(точнее они пробуют использовать суперкомпиляцию для рефала). На данный момент существует даже модуль для Eclipse для него, ну а авторы пытаются научиться суперкомпилировать Java(ну это данные годичной давности, сейчас может уже и свернули исследования).

Метапрограммирование исследуется уже давно. Но проблема всех этих рефалов и прочих - «далеки от простых людей». По поводу метапрограммирования и DSL лучше почитай Language Workbench Фаулера.

Рефал, потенциально дает более быструю программу на DSL за счет суперкомпиляции. Если интересно загугли «проекции футамуры».

Более быструю по сравнению с чем? ;)

По сравнению с обычной компиляцией кода. Пример : объявляем абстрактный тип данных который представляет команды нашего языка, после этого пишем функцию которая выполняет какие-то действия с нашими командами.

Описываем задачу в терминах нашего DSL.

Выполнение - пропускание задачи через интерпертатор, и получение результатов.

При суперкомпиляции слой интерпетатора убирается, и описание задачи преобразуется из абстрактных команд в конструкции базового языка. Следовательно, без одного слоя абстракции(интерпретатор) программа будет выполнятся быстрее.

http://blog.sigfpe.com/2009/05/three-projections-of-doctor-futamura.html

> Васильева Екатерина,

студент УдГУ,

Преклоняюсь.

По другому : специализация интепретатора по входной программе.

>Только не осознаю, как это можно использовать.

Простой пример: технология «Рефал-Рокот» для решения задач обработки неструктурированных текстовых потоков.

Да читал я :) то что результат суперкомпиляции работает быстрее чем интерпретатор написанный на языке «первого порядка» как там зовется это конечно здорово, только давно не то, на что равняться стоит. Генеративное программирование используется уже оооочень давно без всяких ваших рефалов и суперкомпиляции ;)

Интересно, посмотрю

Про генеративное программирование не слышал, можно ссылку на системы где оно используется? И что-то я не очень пойму его применение.

«То есть, генеративное программирование предполагает использование генераторов программного кода, которые на основе ранее разработанного кода и с учетом спецификаций требований позволяют автоматизировать сборку ”пилотной” и рабочей версий проекта. Генеративное программирование, являясь инструментарием архитекторов ПО, предназначено для управления логикой проекта от стадии его разработки и на протяжении жизненного цикла программной системы. Для применения генеративного программирования архитектору ПО необходимы CASE- системы, пригодные для их применения в конкретной предметной области, генераторы ПО и ранее разработанный программный код, пригодный для его повторного применения.» - это оно?

Генеративный подхода это когда на основе модели генерируется артекфакты - например код. Это не парадигма и не готовое решение. А способы трансформации модели в код существует много.

суперкомпиляция - это именно метод генерации кода на основе модели. Я не говорил что это единственный метод, просто он более оптимальный - под данному интерпретатору, автоматически строится компилятор в базовый язык.

>просто он более оптимальный

Еще раз - по сравнению с чем?

по сравнению с интерпретатором

И как там с отлатдкой, средой разработки, прочий стафа для результатов суперкомпилирования? а писать трансляторы в С тривиально и без всяких рифалов ;)

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

теги лично мне непонятны, кстати. почему некрофилия? что вкусно?

> кстати. почему некрофилия

Оно же старое. Но, я ошибся, вроде как ещё живо. Я относил его к незаслуженно забытым

а чем так крут его паттерн матчинг? Haskell тоже может матчить конструкторы.

http://marketplace.eclipse.org/content/refal-plus-development-tools-rfpdt - IDE развивают, есть даже один онлайн компилятор(можно посмотреть результаты суперкомпиляции)

Я относил его к незаслуженно забытым

незаслуженно - да. хорошо, что не забыт

Haskell тоже может матчить конструкторы.

самое сложное, что есть в Haskell - это «n + k»-паттерны (considered harmful) и @-паттерны; рефал же позволяет матчить по практически произвольному выражению

Что понимается под произвольным выражением? Haskell матчит по любым конструкторам. Я не пойму какие еще выражения можно матчить? Применения функций, тогда это уже унификация(не знаю, можно ли это относить к pattern matching).

Я не пойму какие еще выражения можно матчить?

в «n + k»-паттерне где конструктор? паттерн вида «строка из не более чем десяти символов [A-Z]» как ты будешь задавать в Haskell?

Применения функций, тогда это уже унификация(не знаю, можно ли это относить к pattern matching).

от того, как ты это назовёшь, суть не изменится; тем более, что любой паттерн-матчинг, в общем-то, есть частный случай унификации

ну в «n+k» нету конструктора, и это частный случай. А в рефале можно задать паттерн вида «строка из не более чем десяти символов [A-Z]». Можно пример? В хаскеле подобные условия можно задавать гардами.

В хаскеле подобные условия можно задавать гардами.

можно. но вот pattern guards до сих пор в язык не ввели, потому говорить пока что не о чём

Можно пример?

я слишком давно не тыкал рефал палочкой, чтобы сходу написать на нём хоть что-то. документация открыта, feel free to try