On Tue, Feb 3, 2026 at 11:25 PM Alexandre Courbot <[email protected]> wrote: > > Thus for anything non-trivial, I'd like to keep a `// CALC: ` header > describing the intended operation. I also noticed that LLMs check that > the code is in accordance with comments, which provides an additional > layer of checking.
Yeah, it is the same reason why documentation as well as other tagged comments like `// SAFETY:` comments enable to catch mistakes even if they may be redundant in a certain sense. I wouldn't mind having those tagged comments after a certain complexity -- perhaps it could be possible to define a heuristic for a threshold where such a comment is required, and get Clippy to warn about it (we are trying to get other tagged comments implemented, so it is a good opportunity). I guess a fancy IDE could perhaps render the math expression on hover as well. Cheers, Miguel
