“Well, I code in Python most of the time, and I tend to write in functional/imperative style because it’s so much clearer and more concise to me and to others who I can consider to be more advanced. Funny thing is, people who think in procedural style find it very difficult to read my demonstrably functional code. ” [Italics added]
Perhaps you could show us examples of the two contrasting styles?
If we are truly in contact with someone who can accurately form abstractions without considering examples, then I would expect to be impressed and baffled by their code.
And as you say, there would be evidence of its correctness from its successful execution.
Don’t bother with the comments. Just say what it’s supposed to do.