. "More specifically, the program shows how to use a variable to abstract over the part of the text which varies from one iteration to the other, and how to use a loop to determine how many iterations to make and which value the variable should take in each one.For type systems, a 99 bottles of beer program would teach the same lesson: it is possible to write a program which uses larger types than t" . . .