▲ | galangalalgol 4 months ago | ||||||||||||||||||||||||||||||||||
In c++ it does care what N and M are at compile time, at least the optimizer does for autovectorization and unrolling. Would that not be the case with const generic expressions? | |||||||||||||||||||||||||||||||||||
▲ | Rusky 4 months ago | parent [-] | ||||||||||||||||||||||||||||||||||
The question of whether a language is dependently typed only has to do with how type checking is done. The optimizer doesn't come into play until later, so whether it uses the information is unrelated to whether the language is dependently typed. | |||||||||||||||||||||||||||||||||||
|