Subject: Re: Refal+ abstract syntax
From: Andrey Slepuhin (pooh@msu.ru)
Date: Fri Nov 26 1999 - 11:08:40 MSK
"Sergei M. Abramov" wrote:
>
> День добрый!
>
> >P.S. Убедительная просьба не присылать MS Word/RTF документы - у меня
> >нету Windows на компьютере :-).
>
> У меня есть Ворд, но в данном случае действительно его применение не оправдано,
> потому, что текст который мы все вместе вырабатываем после шлифоеки пойдет в
> производство (в производство программ, ТеХ-ов и т.п.) и формат Ворда будет
> помехой.
>
> Давайте ориентироваться на плоский текст.
Добрый день всем!
Сергей Михайлович, спасибо за перевод в читаемый формат. Однако само
содержание
мне нравится все меньше. В самом деле, если у нас функция есть
последовательность
e.Statement, а e.Statement - это почти все что угодно, то мы можем очень
легко
описать некорректную программу. Например, что семантически будет
означать
последовательность t.Pattern t.Format ?
Исходный синтаксис Сергея Романенко при некоторой его запутанности
(тропы, хвосты, источники...) обладает одним _очень_ важным свойством -
_любая_ программа в этом синтаксисе семантически корректна [1] (мне во
всяком
случае пока не удалось придумать контрпример). Я пытался как-нибудь
упростить
этот синтаксис, но все попытки упрощения приводили к потере свойства
[1].
Мне кажется, что этим свойством пренебрегать нельзя.
Всего доброго,
Андрей.
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:58 MSD