Один процент — это на то, что мы неправильно прочитали мысли неизвестного автора.

Потому что в принципе под compile-time memory management иногда подразумевают и другие вещи. Регионы, например.

Столкнулся с таким вопросом, хотя это возможно больше про дизайн языков. В расте нет non-type template parameters, назовем это так. В С++ уже очень давно можно передавать значение int/size_t как параметр шаблона. Иногда это очень удобно, например у нас есть матрица и мы можем при компиляции проверить, что она квадратная, определив функцию перемножения, как multiply<size_t>(matrix<size_t, size_t> A, matrix<size_t, size_t> B) -> matrix<size_t, size_t> (псевдокод).

Но в реальности то матрицы скорее всего будут загружаться в рантайме из какого-нибудь источника, хотя размеры и могут быть строго заданы: "вот тебе матрица 32x32, а значения я заполню в рантайме". Однако если алгоритм перемножения рекурсивный, Strassen, например, то при компиляции для умножения матриц 32x32 должны  будут сгенерироваться процедуры для 16x16, 8x8 и т.д. Т.е. код сильно разбухает. Возникает вопрос как избежать этого trade off'а: и размер в компайл-тайме проверить и код не раздувать. Есть ли какие-то для этого механизмы в языках программирования вообще и в языках без non-type template parameters в частности?

Нужны завтипы

Нет это не RAII,  holding a resource is a class invariant, and is tied to object lifetime, что говорит вики, и с чем сложно поспорить, а rust как раз про lifetime и про то что он вычисляется а не привязан к скоупу или не  менеджиться в ручную.
Проще говоря в расте обьект может жить и несколько с половиной скоупов завися от прописаных лайфтаймов

В тайпскрипте также есть типы-литералы, на которых можно соорудить проверку на соответствие размеров матриц, а код генерится общий. Но перемножение матриц на джиесе так себе идея в любом случае :)

Т.е. это хороший кейс, чтобы попробовать языки с завтипами, idris там и его друзей?

Конкретно для матриц и прочей аналитической геометрии можно обойтись refinement types.

"Чтобы попробовать" кейс не очень хороший — начать предпочтительнее с чего-то попроще.

Это одна из задач, которую непосредственно решают завтипы. Но вот будет ли цена этого решения для вас оправданной - это открытый вопрос

Народ вон как с refinement types развлекается: https://conf.researchr.org/details/aplas-2020/aplas-2020-papers/4/Neural-Networks-Secure-by-Construction-An-Exploration-of-Refinement-Types 😃

аффинными типами и анализом лайфтаймов

Refinement type это тоже из области зависимых типов или есть что-то похожее в том же С++, может хаскеле (просто с этими языками хотя бы знаком)?

Есть Liquid Haskell, реализующий, соответственно, Liquid Types.

Спасибо большое за ссылку

Refinement Types можно сделать как "подмножество" (или специализацию) полноценных зав. типов, но можно и не заходить так далеко, и обойтись 4 видами кайндов без полной зависимости типов от значений. 😊

Нет, везде написано, что RAII это связывание времени жизни обьекта и управления ресурсами. Если я динамически заолоцирую к примеру Reader для файла, а потом вручную освобожу память, деструктор вызовется и закроет фаил.
Это и есть RAII - время жизни обьекта и ресурсов связанны, но никакого контроля времени жизни кроме рук в примере нет

А с каких пор у нас оперативка — не ресурс? 😉

Где-то ещё видео должно быть опубликовано.

Ресурс, но не ресурс класса, все просто класс его не контролирует значит не управляет им, вырожденые случае вида класс контролирует свою же память предлагаю не рассматривать