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

Это хоть с чем перекликается как графы

Пока у меня нет на это времени но я и не готов это делать потому что даже не представляю как

В общем-то, согласен по обоим пунктам, но мне кажется, это аргумент за то, чтобы работать в этом направлении, а не бросать как есть.

VCS что и зачем это если мы говорим о компиляции

Как понять что у нас сменилась версия гайд скрипта

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

Есть какие то идеи как гарантировать для преобразований  A'ir -t1-> B'ir репродуцируемость?

Хеш посчитать как я понимаю нельзя, потому что у нас что то может поменяться внутри цикла, к примеру, и это не влияет на анролинг вообщем.

Попробуйте преобразовать в аст функцию, которую шланг пометил тегом норет, а потом dce выкинул как unreachable

Ну это то как раз легко

Просто код помечается оптимизацией как выкинутый

Сбоку вертикальной красной чертой к примеру в гуттере

Нужен прототип вообшем

Так не объяснить сделаю на JSON покажу что такое

> new ...Lens

Как правило, эти два слова в одной строке кода означают, что нас ожидает жесть типа оптики в ramda. Не видел я ещё нормальных линз не на хаскелле

Да скорей всего это будет хаскель

А в скале норм ?

Ну покрайне мере прототип вундервафли точно