The with -statement in Pascal creates blocks within which some additional identifiers are bound. Each of the field names declared in the definition for the type of the record or records specified after the keyword with is bound to the corresponding field of that record. The scope of such bindings begins immediately after the specification of the record and ends at the keyword end that terminates the with -statement.
Some programming languages require initializations to accompany variable declarations.
Summarize the principal arguments for and against such a requirement. Moreover, initialization errors can go undetected for long periods of time if the implementation of a programming language automatically supplies a default value, only to surface unexpectedly when the program is ported to a new environment or submitted to a different compiler. Apart from highly exotic kludges, uninitialized variables contribute nothing to the expressivity of a language and so cause nothing but trouble. This is inefficient. This environment includes a binding for the identifier i that occurs as a free variable inside Print .