> Нашёл эту самую реализацию Рефала в виде библиотеки C++: > http://www.croco.net/croco/papers/stolyarov_2001_a.html
Александр, Спасибо за информацию. Данная статья напомнила мне, что я когда-то видел раннюю статью этого автора, где рассказывается о реализации лиспоподобного языка на Си++. Видимо, эта реализация и используется для Рефала. Описанный подход не чужд тому, что я имел ввиду, но есть важные различия. Насколько понимаю, у него важным является уподобление синтаксиса (Рефала, Лиспа) средствами Си++, а именно это я предлагаю избегать, считая, в данном случае, не только несущественным, но и в некоторой степени вредным. Кроме того, там однонаправленные списки Лиспа видимо применяются для реализации рефальских последовательностей, что является серьезным несоответствием. И в целом, непонятно (правда, подробно и внимательно не читал) как совмещаются типовые системы Си++, Лиспа и Рефала, которые сильно не похожи одна на другую. Жесткое закрепление идеологии всего этого за Си++ (при этом, почему-то, с полным отвержением его стандартной библиотеки) тоже не в духе того, что я предложил. Но так или иначе, это один из возможных путей.
