Eiffel
The object-oriented programming language.
Eiffel is the language most adequate to be used as
the first object-oriented programming language,
because it is a pure object-oriented language,
strongly typed, simple and readable. Moreover,
it combines the object-oriented concepts
with characteristics which are useful for the
development of large software projects,
such as the assertions and exceptions mechanisms.
Eiffel engenders a culture of quality.