▲ | galangalalgol 4 months ago | ||||||||||||||||
Ok, I think I understand now, but is it really dependently typed just because it symbolically verified it can work with any N and M? Because it will only generate code for the instantiations that get used at compile time. | |||||||||||||||||
▲ | Rusky 4 months ago | parent [-] | ||||||||||||||||
Is what really dependently typed? I'm saying C++ is not dependently typed, because it doesn't do any symbolic verification of N and M. | |||||||||||||||||
|