Other Uses of Intensionality

In Chapter 2 we presented what is essentially a creation myth of intensional programming—that far-sighted researchers studied intensional logic and then applied this knowledge by designing a language that embodied intensional principles. In fact, the whole project grew out of a more modest attempt to make fairly conventional Pascal-style programming mathematically acceptable. Indexed sequences were originally added so that programs which, in Pascal, used for-loops and reassignment, could be rewritten as equations involving temporal operators.