Alexander Konovalov
Alexander Konovalov
There are code: ```Bash NEXT=true while ${NEXT}; do case "$1" in … "--debug") DEBUG=true; shift ;; "--no-debug") DEBUG=false; shift ;; *) NEXT=false ;; esac done D=() if "$DEBUG" then D=(-D...
Проблема ======= В пулл реквесте #363 @cab404 обнаружил, что утилита `strip` на Linux портит исполнимые файлы. Pull request посвящён создания пакета Рефала-5λ в пакетном менеджере Nix. Действительно, исполнимый файл состоит...
Проблема ======= При проверке pull request’а #361 упали автотесты: . Из артефактов стало понятно, что не хватило лимита шагов на случайно сгенерированный тест: ``` 2021-08-23T21:51:28.7711414Z Passing test-10_Mon-Aug-23-21-51-16-UTC-2021 (-OAS): 2021-08-23T21:51:39.5990547Z Passing...
В версию 3.4 войдут, прежде всего расширенные прогонка и специализация, написанные @Apakhov’ым и @VladisP’ом, этот код уже в `master`. Данный pull request вливает: * #359 — доработки расширенной прогонки и ...
В текущей реализации прогонки аргументы встраиваемых и прогоняемых функций могут быть только пассивными: https://github.com/bmstu-iu9/refal-5-lambda/blob/4ed95a0af96abfda5654ba8e4c7bf9ad680c4427/src/compiler/OptTree-Drive.ref#L284-L286 https://github.com/bmstu-iu9/refal-5-lambda/blob/4ed95a0af96abfda5654ba8e4c7bf9ad680c4427/src/compiler/OptTree-Drive.ref#L364-L366 Это было намеренным ограничением на ВКР @InfiniteDisorder‘а, поскольку содержательной частью работы был алгоритм обобщённого сопоставления...
Мотивация ======== Проект развивается давно и эволюционно. А любое эволюционное развитие подразумевает накопление рудиментов и атавизмов вплоть до возвратно-гортанного нерва жирафа. Но в отличие от живых существ, развитие которых осуществляется...
Эта задача — подзадача #185. Процитирую параграф оттуда. > Рефал-05 не поддерживает символы-слова, вместо них используются символы-функции. Пустые функции определяются при помощи ключевого слова `$ENUM`. При этом Рефал-05 совместим с...
Проблема ======= Опыт самоприменения с глубокими оптимизациями (`-OA` + древесные) показал, что компилятор склонен раздувать программы (много примеров в #319, в свёрнутых комментариях). Программы раздуваются по двум причинам: * прогонка...
Задача всплыла в комментариях к #290. Процитирую: > Допустим, компилятор выявил связанную переменную в образце, показал на неё программисту. Программист смотрит и говорит: «Спасибо компилятор, я именно это и имел ввиду»,...
Мотивация ======== Имеющаяся схема древесной оптимизации слишком сложна. Во-первых, есть несколько ключевых слов, объявляющих функции, вызовы которых компилятор должен оптимизировать: `$SPEC`, `$DRIVE`, `$INLINE`. Причём для `$SPEC` пользователь должен понимать разницу...