▲ | Rusky 4 months ago | |||||||
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. | ||||||||
▲ | galangalalgol 4 months ago | parent [-] | |||||||
If rust did add const generic expressions I mean. It still would only generate code for the used instantiations. | ||||||||
|