To get started:

• Install EiffelStudio from sourceforge (download EiffelStudio 6.7 GPL).
  • Linux Instructions (installing on MacOs, see here and http://dev.eiffel.com/EiffelOnMac\here.)
  • For the Windows version, when installing, you are given the choice of using the the free Express C++ compiler (if you have it installed), or you are offered an install of an open source C compiler (MinGW). It is best to use the Express C++ compiler for compatibility with Prism. see here for the complete story.
  • Select the option to do a Base library precompile.
• Download the latest version of theESpec Library (simplied, without GUI), and follow the installation instructions (requires the $ESPEC environmental variable to be set) (download)

You can check that everythings is working by following the intructions at Getting started with the Hello World program.

• Eiffel Introduction by Helmut Brandl (pdf)
• Touch of Class Slides and Videos (Introduction to Eiffel)
• Main Eiffel Documentation (browse Eiffel Base Liabaryand GOBO Library). Static Eiffel docs
• EiffelStudio documentation (Video Learnlet)
• Eiffel is a standardized language (ECMA). It's compiler and IDE (Eiffelstudio) is open source (Eiffel Development) but supported by a company(Eiffel Software).
• Eiffel Essentials (including introduction to agents, BON notation, style guidelines and syntax keywords). Style Guidelines
• More on tuples and also agents.
• Video Presentations. See the presentation on the Eiffel methodology and the presentation on the EiffelStudio IDE (this is a previous version of the IDE but is still useful). Eiffel Learning Maps, presentations (e.g. “Persistence can pay off”).
• Full Eiffel Documentation
  • See in particular An Eiffel Tutorial.

• BON (Business Object Notation. The BON method for analysis and design of object-oriented software is a means of extending the higher-level concepts of the Eiffel programming language into the realm of analysis and design aided by a graphical notation akin to but different from UML.

• Complete Eiffel ECMA-367 Specification. Also,
  • keywords and syntax, as well as
  • progress towards the ECMA specification in Eiffel6.1

• ETL3: Ongoing new edition of Eiffel: The Language (known as ETL3), in progress for several years. To access the chapters you need the user name Talkitover and the password etl3. This work provides all the thinking behind the Eiffel language and its constructs.

• Eiffel Style Guidelines
• Void safety

• For more resources see here
• SCOOP
• Ian Joyner on the Single Exit Rule writes: “I teach my students to use the single-exit rule in response to seeing horrible code with nested returns in it (in Python). I teach them why single exit is a good thing to do. I searched around the web for articles on this and could not really find any, just a load of long forum posts where most said it was just a silly rule for those who programmed by mantra rather than practice. These responses showed little understanding of the principles and practice. So I had to write an article about why it is a good idea. You can use it as a resource whenever this argument comes up, and please send any comments my way. See here
• Bertand Mayer on attached