polymorphic iteration

Definitions

1. 1

   The use of an iterator class or interface to enable traversal over the members of any…

   The use of an iterator class or interface to enable traversal over the members of any type of collection for which there is a corresponding descendant of that iterator by code which need not know the type of the collection.

   • When we write methods that take iterators as parameters, we are using polymorphic iteration.
   • The results described here provide the foundations for a series of results, including the definition of a linear version of Gödel's system Τ with a decidable typing system for polymorphic iteration.
   • Use the Iterator pattern to provide a uniform interface for traversing different aggregate structures (that is, to support polymorphic iteration).

The neighborhood