This section has given an introduction to the Eiffel language.
It discussed the design principles underlying Eiffel,
which may be characterized as being focused
on static typing and support for the development
of reliable programs.
The language Eiffel
- design principles -- correctness
- terminology -- keywords
- syntax -- type conformance, control
- objects -- counter example
- inheritance -- renaming, redefining
slide: Eiffel -- summary
it presented an overview of the keywords related to
the constructs offered,
and discussed type expressions, value expressions
and control statements.
An example was given to illustrate the features offered.
Finally, we looked at the mechanisms of renaming
and redefining, which are needed to
avoid name clashes when using multiple inheritance.