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 )