> The code is [already] written[ and doesn't include that information in its types].
By that logic, the code is already written and doesn't include that information in its comments, either.
> if the person who wrote the code had written a doc comment, I would know [the invariants].
If you're going to ask that the person who wrote the code have written it differently, there's (in general, at least) no reason to ask for comments in preference to types.
By that logic, the code is already written and doesn't include that information in its comments, either.
> if the person who wrote the code had written a doc comment, I would know [the invariants].
If you're going to ask that the person who wrote the code have written it differently, there's (in general, at least) no reason to ask for comments in preference to types.