Agents and event-driven programming in Eiffel

Bertrand Meyer closes laser with a session on Eiffel. See also the first four lectures on Eiffel. The most traditional form of event-driven programming is input-output. It used to be the case that the program drives the user “please input your value now”. Nowadays the user is in charge “when a user presses a button, execute Read more about Agents and event-driven programming in Eiffel[…]

Design by Contract in Eiffel, part 4

Time for the 4th lecture on DbC (See: Lecture 1 and Lecture 2 and Lecture 3 or Wikipedia) Bertrand starts off with stating that people often criticize Eiffel by saying that “Real programmers don’t write assertions” Bertrand thinks this is non true. I agree, even many (non-programmer) spreadsheet builders often use a form of assertions. However, developers usually write them after the fact. Read more about Design by Contract in Eiffel, part 4[…]

Design by Contract in Eiffel, part 3

The third day of LASER starts with the third lecture by Bertrand Meyer on DbC In Eiffel. No clue what that is? I kindly refer you to Lecture 1 and Lecture 2 or Wikipedia. The class invariant Is a consistency constraints has to be satisfied ‘always’, well that is, before starting a procedure and when Read more about Design by Contract in Eiffel, part 3[…]

Eiffel and Design by Contract, part 2

The is a continuation of Bertrand Meyer’s first LASER talk. Command-Query separation is an important principle of Eiffel. So instead of getint(), Eiffel uses io.read_integer and io.last_integer(). A separation of a procedure that does something and a method that returns something. The basic idea behind this is “asking a question should not change the answer”. This limits Read more about Eiffel and Design by Contract, part 2[…]

Eiffel and Design by Contract

In the first talk of the second day, by Bertrand Meyer himself, he will talk about Eiffel and Design by Contract. Meyer talks about how Eiffel was designed, he considers keywords like ‘desserts’, a nice gift you should not eat every day. Sometimes, features are removed or improved. Bertrand stated this is different from other Read more about Eiffel and Design by Contract[…]