|
|
|
|
|
|
by uecker
1115 days 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. |
|
|
As a C++ developer, that sounds strange. Can you point me to some documentation about "dependent types"?