On Monday, 25 January 2016 at 16:17:27 UTC, Chris Wright wrote:
It's a comment that the compiler verifies. You could argue that the bulk of the type system is comments that the compiler verifies.
named arguments solve this problem
void foo(int a = 4, int b = 10, int c = 3) {}
foo(c : 5);
beeing callside documentation is only a byproduct.
