| 01:15 | <jmdyck> | I think the spec would be more likely to express it as an explicit loop. Not that I'm against saying it as a one-liner, but I'd prefer if there were an established syntax for doing so. |
| 01:40 | <bakkot> | While I'm generally in favor of sticking to established conventions, I think the prose is clearer than a loop would be, and clarity is what I'd most prefer to optimize for. |
| 17:31 | <jmdyck> | I think which of those seems clearer would vary from reader to reader. |
| 17:37 | <bakkot> | Well, yes, that is always true, so what I mean is that I think the prose will be clearer to more readers. |