I think one problem is that some of the syntax doesn't express what you are trying to do, it's just low level mechanism, especially C for loops for example. Bu

I think one problem is that some of the syntax doesn't express what you are trying to do, it's just low level mechanism, especially C for loops for example. But going further, many loops are actually maps, where you do something independently with each element of a list. Why formulate that as a linear visit to each element?