OberonCore

Не представил, но вспомнил себя пятилетней давности

Не, в таком формате писать сейчас не возьмусь.
Некогда и практической мотивации нет по этой теме.

В Вашей статье 60 страниц. Возможно, это просто многовато для статьи в журнал, у которого всего примерно сотня страниц...

Если исходники выкинуть, то будет много меньше.
Кроме того у журнала этого иногда бывает две сотни страниц

Не возможно, а односзначно много. Любит Илья Евгеньевич растекаться по древу...

Вот я и спрашиваю - какую часть они бы хотели оттуда и с каким уклоном.
Там не статья, а документация.

А. Тогда другое дело. Прошу прощения.

Нужно посмотреть, что там печатают, и сделать по образцу, и всё.

Писать ладно, а вычитать и указать на ляпы?

Я поговорил. Именно в этом формате статья там интересна. И мне интересно её написать. До кучи у меня есть практическая задача которая вроде бы хорошо для рефала подходит.

Но я боюсь допустить где-нибудь по неопытности какие-нибудь ляпы и ввести читателя в заблуждение.

Помочь рады завсегда-с.
Если тема вдохновляет - то успехов

Интересно. Требуют killer feature рефала. Точнее задачу на которой будет видно, что существуют задачи для которых он существенно лучше всего остального. Пытаюсь найти/придумать.

Какие-нибудь прямые трансформации потоков? Бинарных, в частности.

Компрессии какие-нибудь, хотя бы?

Я как-то вот общался с одними доктор-вебовцами по случаю, они рассказывали, что у них свой язычок выработан, который позволяет описывать распознавание сигнатур вирусов и т.п. Я тогда немного порассказывал про Рефал (и Рефал-0), интересовались, но потом тема как-то заглохла.

Транформации потоков это ж обычная трансляция. С этим не справится какой-нибудь транслятор писаный на yacc/lex?

Работа с XML, HTML.

Берем готовый парсер для любого из промышленных языков и всё.
Берем yacc/lex и генерим свой парсер. На худой конец берем parsec. Зачем тут рефал?

В те годы, когда разрабатывался рефал, не было никаких yacc/lex'ов.

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

Это конечно хорошо, только зачем про это писать в журнале? Это же ПРАКТИКА (современная) функционального программирования. Тащемто от меня требуют полезный пример на сегодняшний день. Доказательство полезности рефала здесь и сейчас.

Алсо когда создавался рефал, тогда и http с xml небыло

Да, а суперкомпиляцию я явно не осилю.

Эээ, так фишка Рефала - древовидные выражения и сопоставление с образцом на них.
Имеется в виду задача не разбора XML, а трансформации XML-деревьев. Аля XQuery.

Совсем про это забыл.
А в Компьютерре года 2001-го было интервью с Турчиным и его заметка про Рефал с примером разбора XML-деревьев, как раз он говорил о перспективах Рефала в этой области.
Где-то лежит у меня этот номер, если в сети не найдётся, могу переснять (только вот сканера нет, на фотик).

Нашел, спасибо. http://www.computerra.ru/offline/2001/402/10900/

Например, прямым вычислением докажите равенство выражения (12) выражению (13): Я не на Рефале, а на Mathematica программу писал, но марковская парадигма-то и там и там одинаковая.