>How can that ever be purely expressed? A loop is a recursive function. State is the arguments to the function. You pass an updated state to the next iterati

>How can that ever be purely expressed? A loop is a recursive function. State is the arguments to the function. You pass an updated state to the next iteration of the loop. Haskell provides nice abstractions to make this seamless.