> Are there other languages than rust that supports it? Const generics are essentially a really small subset of fully dependent types, which are implemented in

> Are there other languages than rust that supports it? Const generics are essentially a really small subset of fully dependent types, which are implemented in Idris 2 and other research languages.