> On Oct 21, 2022, at 9:03 AM, Lassi Kortela <xxxxxx@lassi.io> wrote:
>
>>
>> It's exactly the opposite. Leaving possible compiler optimizations
>> aside, it is about documenting your program and clarifying your
>> intention.
>
> Documentation is the problem, not the solution. (Unless you're writing a textbook.) Computers follow instructions, not intent. Absent automated proofs, it's better if they follow them as predictably as possible.
>
> I've largely stopped writing comments. Since the compiler doesn't check them, they end up incorrect as often as correct. The same goes for all kinds of unchecked declarations.

I think Marc meant that the “perform” form is both a message to the compiler and to whoever is reading the code.

However, +1 to everything else you said.

Marc