Transformation of Applicative Specifications into Imperative ...

CHAPTER 6. TRANSFORMATIONS
A case expression is transformed by transforming the constituent value
expressions and patterns.
The patterns are transformed as follows:
Value Literal Pattern
A value literal pattern is transformed into itself.
Name Pattern
A name pattern is transformed into itself unless if it is of the type of interest.
In that case the specification cannot be transformed as a pattern cannot
consist of a variable.
Wildcard Pattern
A wildcard pattern is transformed into itself.
Product Pattern
A product pattern is of the form:
(pattern1, pattern2, ..., patternn)
A product pattern is transformed by transforming the constituent patterns.
Record Pattern
A record pattern is of the form:
id(pattern1, pattern2, ..., patternn)
A record pattern is transformed by transforming the constituent patterns.
List Pattern
A list pattern is of one of the forms:
〈pattern1, pattern2, ..., patternn〉
〈pattern1, pattern2, ..., patternn〉 patternn+1
A list pattern is transformed by transforming the constituent patterns.
Introducing Assignment Expressions
When transforming an applicative specification into the imperative counterpart
it is necessary to establish assignment expressions when the value of the
variable of the type of interest must be changed. This can happen in two
situations.
When dealing with a generator of the form:
50