Eiffel

Summary

A pure object-oriented programming language designed for software engineering with an emphasis on correctness through Design by Contract methodology.

Paradigms

object-oriented, concurrent, distributed, generic

Domains

desktop applications, business applications, safety-critical systems, education

Key Features

multiple inheritance, traits/interfaces, contracts, modules, generics, named arguments

Typing

static system, non-structural typing, strong typing, partial inference, compile-time checking, conservative type coercion, required type annotations

Compilation

compiled

Influenced By

Simula, Ada, CLU

Influenced

Java, D, Ruby, Scala, Discipulus, C#, Ada

Ratings

File extensions

e

External Links

• Eiffel official site
• Eiffel jobs at Devjobsscanner
• Trending GitHub repositories