Такой механизм был предусмотрен еще в Алголе-68. Увы, международный комитет по созданию языка себя не оправдал. Туда было натолкано еще много разного и реализация оказалась слишком сложной.
В современных языках можно воспользоваться механизмом объектов. Это резко снизит производительность некоторых вычислительных алгоритмов, но действительно позволит контролировать ошибки с размерностью.