Alexander Konovalov
Alexander Konovalov
Текущая реализация Рефала-5λ не поддерживает Юникод, интерпретирует текст как последовательность байт. Поэтому с текстами в кодировке UTF-8 он частично совместим, ровно на столько, на сколько UTF 8 может заменить однобайтную...
Это в постановке задачи #122 стояло, но почему-то не было реализовано. Ключевые слова `$INLINE` и `$DRIVE` могут стоять перед определением функции, в позиции ключевого слова `$ENTRY`: ```Refal $INLINE Apply {...
Проблема ======= Скопирую текст из комментария https://github.com/bmstu-iu9/refal-5-lambda/issues/319#issuecomment-731633964: > Сделаны замеры для режимов `-OiDPRS`, `-OiADPRS`, `-OiDGPRS` и `-OiADGPRS`. Выполнялось 17 проходов с пустым `BENCH_FLAGS`. Компиляция выполнялась в режимах > > ```batch...
Мотивация ======== Мотивация простая — ускорение работы компилятора. На данный момент самоприменение самого компилятора (`rlc-core`) требует нескольких десятков секунд. Другая мотивация — обеспечить для `rl-refgo-wrapper` (см. #334) более-менее приемлемое время...
Компилятор Рефала-5 выдаёт ошибку при попытке определить функцию с именем, совпадающим с именем встроенной функции, например, `Prout`. Нужно реализовать это же поведение. В классическом режиме должна выдаваться ошибка, в расширенном ...
Для сборки проектов актуальная реализация поддерживает два параллельных набора скриптов: скрипты .bat для Windows и скрипты Bash для unix-like систем. Так было сделано для максимальной переносимости разработки — для раскрутки...
Нужно выводить следующие предупреждения: * [ ] Функция не используется. Это значит, что функция не является точкой входа и прямо или косвенно не доступна из точек входа. Тот факт, что...
Проблема ======= Турчин когда-то описал прогонку функций ([Турчин, 1972](http://pat.keldysh.ru/~roman/doc/Turchin/1972-Turchin--E%27kvivalentnye_preobrazovaniya_rekursivnyx_funkcij__opisannyx_na_yazyke_Refal--ru.pdf), [Турчин, 1974](http://pat.keldysh.ru/~roman/doc/Turchin/1974-Turchin--E%27kvivalentnye_preobrazovaniya_programm_na_Refale--CNIPIASS--ru.pdf)), однако, описанный алгоритм прогонки работает только для ограниченного Рефала — базисного Рефала, в образцах которого запрещены t-переменные и открытые...
Эта задача является логическим продолжением задачи #122. # Философия глубокой оптимизации в Рефале-5λ Сложилось (#91), что глубокие оптимизации программ в Рефале-5λ осуществляются при помощи пользовательских подсказок — какие функции можно...
Есть предложение реализовать в Рефале-5λ оптимизацию дефорестации. Применимость дефорестации к Рефалу я описывал в письме в рассылку , поэтому сначала его просто процитирую. # «Лесоочистка в Рефале» (письмо в рассылку)...