Comment by lopatin

Very interesting to see that Rust's "const generics" can emulate some of the flagship use cases of dependently typed programming such as having the length of an array be part of it's static type!