Я наверное не правильно обьяснил я говорю о компиляторе полностью контролируемым программистом вплоть до конкретных оптимизаций

Мечта с++ сера, тебе не нужно гадать тебе нужно смотреть и все

Я пытался еше год назад найти людей для bx и модельной реализации этого, но чет как то не поехало

Так размотать что там произошло и чего как почему оптимизировало методом пристального взгляда может только человек с опытом разработки именно компилятора

Нет

Я это решил тоже

Окей, вам виднее

Ну можете мне не верить, одно верно что надо понимать что такое loop unroling к примеру потому что иначе вы просто увидете как цикл оп и вместо одного тело копии его и немного другие коофиценты

Да не все это решается на самом деле ключевая идея линзы

Если компилятор это одна большая линза он становится двунаправленным транслятором тогда он и компилятор и декомпилятор и способен отображать оптимизации прямо на код

Тоесть вы пишите преобразование для llvm ir а способны ныблюдать его прямо на аст

Реально до этого диалога дико далеко:

1. Поддержка диалога требует поддержки VCS - иначе на enterprise системах будет непонятно, что же хотели 10 лет назад.

2. Пример с С++ в том, что и так сложно.

Там же выразительная мощность сильно разная. При понижении уровня абстракции теряется информация, которую неоткуда взять при повышении. А если её импринтить как мета инфу на низком уровне, то преобразования должны уметь с ней работать, что делает низкоуровневые трансформации бессмысленными, ибо проще сразу на высоком уровне и трансформировать. И это не говоря о том, что низкоуровневые трансформации на высоком уровне видеть вообще не хочется.

Да

Все верно

ну я не могу же все проблемы тут решить

Именно поэтому я копал теорию наименьшего изменения

Как бы да, понятно что с этим что то нужно делать

Давай в личку

Никому тут это я думаю особо не интересно