Рефакторинг, учитывающий неразменные переменные #354
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Смысл в том, что в рамках задач #251 и #322 потребуется разработать функцию обобщённого сопоставления с другим интерфейсом — Solve-Spec. Эта функция будет возвращать либо просто решение (когда решение существует), либо динамическое обобщение левой части аргумента и результат для него. Функции Solve-Drive и Solve-Spec будут обёртками над некоторым внутренним кодом в GenericMatch.ref.
Теперь в <OptTree-Drive …> не передаются флаги оптимизации. Значения флагов учитываются при построении e.DriveInfo: если режим оптимизации отключён, соответствующие функции просто не вносятся в e.DriveInfo, если режим прогонки ослаблен до OptInline, то прогоняемые функции помечаются как Inline. В интерфейс и логику <OptTree-Drive-Expr …> добавлены неразменные (несужаемые) переменные. Однако, они пока используются также, как ранее используемые флаги Drive и Inline: для режима прогонки с сужениями множество пустое, для прогонки без сужений — совпадает со множеством всех переменных.
Apakhov
approved these changes
Apr 10, 2021
|
Лучшее — враг хорошего. Возиться с |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
@VladisP, Вам интересен только первый коммит 7119e63 — переименование функции
SolveвSolve-Drive. Вам в рамках задачи #322 потребуется также написать функциюSolve-Spec, которая будет использоваться при специализации. Там, гдеSolve-Specбудет предлагать динамическое обобщение, функцияSolve-Driveдолжна будет просто возвращатьUndefined.@Apakhov, я поменял интерфейс функции
OptTree-Drive, чтобы он был совместим с оптимизациями #231 и #283, возможно, я ими займусь весной. Кроме того, ушло устаревающее деление режима прогонки на режим «прогонки» (когда сужение разрешены) и «встраивания» (когда они запрещены). Полностью это деление устареет при выполнении Вами задачи #340. Таким образом, второй коммит 1ef5b6c — шаг в направлении #340.Возможно, я ещё немного упрощу
OptTree-Drive— вместоt.Metatablesмежду функциями будет передаватьсяe.DriveInfo, поэтому пока это draft pull request. Чистовиком он будет либо если я это сделаю (сегодня-завтра), либо передумаю, т.к. имеющаяся архитектура уже неплоха.Неразменные переменные (термин из старой статьи Турчина) — переменные, которые запрещено сужать при прогонке. В коде они обозначены как
e.WholeVars.