21 ms·

These are dependent types which C++ does not have at all. The C support is fairly weak though... But most programming language people I know agree that depende

by uecker 3y ago

These are dependent types which C++ does not have at all. The C support is fairly weak though... But most programming language people I know agree that dependent types are they way to guard against overflow with minimal overhead. So hope we can evolve C in this direction.

inetknght 3y ago
> These are dependent types which C++ does not have at all. As a C++ developer, that sounds strange. Can you point me to some documentation about "dependent types"?