.
> Пересечение множеств (e.1) e.2 и e.X s.Y непустое, поэтому
> верификатор форматов об ошибке не сообщит. Однако, сопоставление e.X
> s.Y : (e.1) e.2 возможно только с сужением e.X → (e.3) e.4, что нарушает
> требование 1.
> Так что оба алгоритма не подходят для повышения местности
> Так что *оба алгоритма не подходят* для повышения местности для
> компиляции в массивное представление. *Нужна доработка напильником одного
> из алгоритмов.*
>
>
>
> На этом письмо заканчиваю. В следующем письме я расскажу, какой алгоритм
> нужно доработать напильником, чтобы удовлетворить все
From: Arkady Klimov arkady.klimov_AT_gmail.com [mailto:refal@botik.ru]
Sent: Friday, December 25, 2020 1:35 PM
To: refal@botik.ru
Subject: Re: Рефал-5, Рефал Плюс и форматы
Александр, Вы же сами пишете, что частью языка Рефал Плюс являются форматы, -
это и есть то решение, которое и предп
Александр, Вы же сами пишете, что частью языка Рефал Плюс являются форматы,
- это и есть то решение, которое и предполагалось, и осуществлено в Рефале
Плюс.
Что касается компиляции Рефала-5 в бэкенд Рефала Плюс, то именно
предполагалось, что форматы будут по возможности выявляться динамически, по
к
Доброй ночи всем!
В принципе, я разобрался, как надо повышать местность и коместность при
компиляции Рефала-5 в массивное представление. Могу изложить, как бы я это
сделал (а может, когда-нибудь и сделаю, через год, через два). Но сначала я
хотел бы узнать, как это предполагалось в Рефале Плюс.