> The loops are still there, they're just implicit. Obviously. I think the point is that loops should be considered "implemention details" at the compiler leve

> The loops are still there, they're just implicit. Obviously. I think the point is that loops should be considered "implemention details" at the compiler level, and us higher beings should be able to say what we want without troubling ourselves with them.