а вдруг другой разработчик будет пьян?

ТС же для этого и разрабатывался, чтобы избежать ошибки пьяных или невыспавшихся разрабов

От записи по индексам большим, чем кортеж он похоже защищает, хоть в русских доках и написано обратное.

Но с обращением через [n] ничего поделать нельзя, потому что при компиляции n неизвестен.

Странно, что ts вообще не запрещает эту операцию 🤔

я указал let n = 3 :) всё известно)

Видимо разрабы TS'а решили, что такие проверки они делать не будут

Тебе известно, компилятору - нет

Если бы компилятор был очень хитрожопым, то он бы смог это выяснить.

Ну да, пусть ещё программу после компиляции запустит и на ошибки проверит 🌚

Ну цифра 3 же есть. Он мог посмотреть, что n = 3, и что 3 потом никак не меняется.

Компилятор С++ вообще умеет всё что угодно при компиляции считать.

Можно написать

int accum = 0;
for (int i = 0; i < 100; i++) {
   accum = i;
}

И при правильном запуске (там вроде бы какая-то магия с constexpr) компиляции, он еще при компиляции посчитает, чему равен accum. Потому что все значения, на которых этот код с циклом работает - это compile-time значения. Ничего не зависит от рантайма. Поэтому почему бы не прогнать цикл во время компиляции.

(select avg (...)... From ... having ... > 4500) попробуй так

Погодите, а где group by?

Там ещё where не написано. И group by нужен если нужно получить с группировкой по какому-то полю/полям.
А если по всей выборке то он не нужен

(select avg (...)... From ... where ... having ... > 4500)

Я, кстати, вообще не понимаю, что он хочет сделать

Почему он цену достаёт из Инструмент

Тогда может where хватит?

Получить инструмент определенный марки у которых средняя цена > 4500
Но имхо с изначальным запросом что-то не то

Мне тоже так кажется 🤷🏻

Ну кто его знает в какой там нормальной форме все может там и  НФ1

select
   Марка.Назва,
   avg(Инструмент.Цена) as средняя_цена,
from
Марка join Инструмент using(Код или чё там у него)
group by Назва
having avg(Цена) > 4500