Eiffel - For secured software

 Eiffel was designed by Bertrand Meyer in 1985. The idea was to correct the defaults of other classical languages that cause bugs and consume programming time. It gets inspiration from some theorical languages designed in Universities and never implemented. It is a purely object oriented language.

Features

- Generical classes. Reuse of classes with different types.
- Deferred classes. A kind of interface. Methods are virtual until the compiler make them real, or even inline.
- Multiple inheritance.
- Precondition and postconditions to functions (saying also assertions, programming per contract).
- Inheritable types that are objects of the language also. "Integer" inherits "numeric", etc...

Why to use Eiffel?

According to the author, to produce software quality made by professional programmers.
Use the language when security is essential.

Sites and tools

Sample code

class HELLO_WORLD 
creation 
 make 
   feature 
   make is 
   local 
      io:BASIC IO 
      do
        !!io 
        io.put_string("%N Hello World!") 
   end --make 
end -- class HELLO_WORLD