However, I should try to stay honest about things. It actually proves possible to
simulate almost all of the usual loop constructs, often using the same keywords as in
other languages, and in a style that looks surprisingly similar to imperative constructs.
Simon Thompson provides many examples of this in his book (see Additional reading).