Sure, if you view the code as a conversation between the reader and the compiler, but as a conversation between the reader and the writer, I would hope that tho

Sure, if you view the code as a conversation between the reader and the compiler, but as a conversation between the reader and the writer, I would hope that those inferences (e.g. name is a non-empty string) would be reasonable.