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 use Eiffel?

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

Sites and tools

SmartEiffel
A free open source port of the language.
Sather
A very similar language, open source.
Visual Eiffel
Wiki.
News
Blogs.

Sample code

Hello world!

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

Programming languages AspectJ - Basic - C - C++ - C# - Eiffel - Go - Java - JavaScript - JavaFX - Pascal - PHP - Python - Rexx - Ruby - Scala - Scriptol - Tcl - HTML - XML - XAML - XUL - SQL