I think a language where it is an expression should also let the loop accumulate a value. In those cases you could just have it return the identity/base type of

I think a language where it is an expression should also let the loop accumulate a value. In those cases you could just have it return the identity/base type of whatever you are accumulating. Say like the for loops in racket, or my own loops for guile scheme: https://git.sr.ht/%7Ebjoli/goof-loop https://git.sr.ht/%7Ebjoli/goof-loop