Alexander Konovalov
Alexander Konovalov
Только что завершились две выпускные квалификационные работы: * @Apakhov, реализовавший построение ациклического графа суперкомпиляции путём задержки рекурсивных вызовов (#340), * @VladisP, реализовавший #322 и #251. Эти расширения станут основным новшеством...
Задача-минимум — удалить ключевое слово ============================== Ключевое слово `$SCOPEID` заменяется на две макроцифры — идентификатор области видимости, который вычисляется как хэш из содержимого области видимости файла. Исходно это ключевое слово...
Цель ==== Нужно удалить front-end Простого Рефала, бережно сохранив его автотесты. Мотивация ======== Мотивация описана здесь: https://github.com/bmstu-iu9/refal-5-lambda/issues/318#simple-refal. Процесс ====== Простой Рефал отличается от Рефала-5λ следующими чертами: * комментарии языка C++,...
Знак `^` после имени переменной означает, что это не повторная, а новая переменная, скрывающая ранее описанную с тем же именем. Однако, ошибкой не является использовать знак `^` после переменной, ранее...
Эта задача — подзадача #197, блокирует #311. Требуется переписать `refalrts.h` на C89, т.е. без пространств имён, функции должны быть помечены как `extern "C"` для C++ и т.д. Префикс имён функций...
Мотивация ======== Предлагается упростить синтаксическое дерево на выходе рассахаривания. Упрощение позволит писать более простой и лаконичный код. Писать `(Symbol Identifier e.Name)` или `(TkVariable s.Mode e.Index s.Depth)` слишком громоздко, тем более...
**UPD:** более верная постановка задачи в комментариях (https://github.com/bmstu-iu9/refal-5-lambda/issues/228#issuecomment-714307025). Эта задача — подзадача для #91. @InfiniteDisorder реализовал оптимизацию встраивания и прогонки #122, однако, реализовал не оптимально. Когда в процессе прогонки в ...
Мотивация ======= В Рефале-5 и в Рефале-5λ семантика условий требует копирования переменных в выражение условия. Действительно, пусть имеется функция вида: ```Refal5 F { P1, R′ : P′ = R1; P2...
Есть мысль изменить текущий формат RASL на приближенный к классическому. # Обзор классического представления Пишу по памяти, поскольку лень искать диссертацию Романенко. Классический формат, описанный в диссертации Романенко, представляет собой...
Эта задача — подзадача #185 (**UPD:** и #204 тоже). Процитирую параграф оттуда. > Компиляция результатных выражений в Рефале-05 отличается от Рефала-5λ двумя новшествами: > > * Используется допущение о последовательном...