Тут мне подкинули один интересный вопрос, что завтипы(тип зависящий от значения) в С++ невозможны в принципе, однако, сдаётся мне что принципиальная возможность сделать завтип всё же есть, ну хотя бы например такой: forall i: usigned int, int[i], однако чтобы заставить это работать, каждый раз нужно перекомпилировать исходный код с "завтипами" и подсоединять к работающему приложению. Куда смотреть чтобы такое наколдовать?

И туда можно во время исполнения засунуть переменную?

И туда можно во время исполнения засунуть переменную?

И туда можно во время исполнения засунуть переменную?

Какого фига это надо делать во время работы приложения?
Это как в РБД создавать таблицы новые во время работы приложения, на каждую накладную, скажем.
Это идиотизм.

Тут мне подкинули один интересный вопрос, что завтипы(тип зависящий от значения) в С++ невозможны в принципе, однако, сдаётся мне что принципиальная возможность сделать завтип всё же есть, ну хотя бы например такой: forall i: usigned int, int[i], однако чтобы заставить это работать, каждый раз нужно перекомпилировать исходный код с "завтипами" и подсоединять к работающему приложению. Куда смотреть чтобы такое наколдовать?

Для практических целей не применимо, только для фриков которые этими завтипами пишут доказательства

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

Тут мне подкинули один интересный вопрос, что завтипы(тип зависящий от значения) в С++ невозможны в принципе, однако, сдаётся мне что принципиальная возможность сделать завтип всё же есть, ну хотя бы например такой: forall i: usigned int, int[i], однако чтобы заставить это работать, каждый раз нужно перекомпилировать исходный код с "завтипами" и подсоединять к работающему приложению. Куда смотреть чтобы такое наколдовать?

Интересует принципиальная возможность

вчера @LL1_N_LL1_K_A приводил ссылку на clang jit https://arxiv.org/pdf/1904.08555.pdf

Для практических целей не применимо, только для фриков которые этими завтипами пишут доказательства

Эти доказательства проверяются на этапе компиляции?

вчера @LL1_N_LL1_K_A приводил ссылку на clang jit https://arxiv.org/pdf/1904.08555.pdf

Эти доказательства проверяются на этапе компиляции?

Ну да, например вот https://github.com/mit-plv/bbv/blob/master/src/bbv/Word.v

Он на что-то типа OCaml или Coq намекает.

С++ -- машинный язык. В процессоре (скажем, интел) ты можешь иметь такой тип данных?