On: Grids in Rust, Part 2: const generics

[fish45]

> 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.