Спасибо, Антон! Буду изучать. Александр Коновалов
From: Anton Orlov [mailto:orlo...@gmail.com] Sent: Monday, February 5, 2018 9:24 PM To: refal@botik.ru Subject: Re: Не понял про ограниченный РЕФАЛ 2018-02-05 21:00 GMT+03:00 <sergei.romane...@supercompilers.ru <mailto:sergei.romane...@supercompilers.ru> >: 2018-02-05 20:32 GMT+03:00 Александр Коновалов <a.v.konovalo...@mail.ru <mailto:a.v.konovalo...@mail.ru> >: Мне кажется, Вы о какой-то другой работе говорите. По ссылке рассматривается сопоставление типового выражения общего вида с L-выражением, которое, в отличие от турчинского, может содержать неодноимённые t-переменные и v-переменные. Ну и плюс рестрикции. А ведь и правда! Там смысл работы состоял в том, чтобы вычислить не только *пересечение* множеств, но и их *разность*. Но были и другие изыскания, по поводу сопоставлений вроде (eX) (eX) : (A e1) (e1 A), сводящихся к решению уравнений вроде A e1 = e1 A. Но они так в рукописях и остались. Наверное, решили, что "народу это не надо". Кое-что было реализовано потом в Рефале+ и описано даже: http://pat.keldysh.ru/~orlov/publications/2004.05-AbramovOrlov-Kompiljacija_sintaksicheskogo_otozhdestvlenija_jazyka_Refal.pdf Антон