Thanks, I'll look into it. Julia for example does have an array library that does compile-time shape inference (StaticArrays), but it cannot scale for large ar

Thanks, I'll look into it. Julia for example does have an array library that does compile-time shape inference (StaticArrays), but it cannot scale for large arrays (over 100 elements) exactly because it gets too hard for the compiler to keep track, I'm definitely curious about possible solutions.