специфика данных одинаковой структуры

[virkony]

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

Comments

[lomeo]

Проинлайнь t1 явно. Во-втором случае оно выполняется два раза, и значит оптимизатор не будет его инлайнить из-за мономорфизма, чтобы два раза не считать.