Bertrand Meyer has a chapter from the new version of "Eiffel: The
Language" at http://www.eiffel.com/doc/manuals/language/agent/. In it,
he describes 'agents', a way of thunking functions with type
safety. Although seemingly not as powerful as closures, they do allow
you to add procedure objects and iterators to Eiffel.

An interesting read.


Dave