Lenguaje de programación Eiffel

Lenguaje de programación orientado a objetos que sigue el estándar ISOdiseñado por Bertrand Meyer (defensor de los lenguajes orientados a objetos y autor de la construcción de Software Orientado aObjetos ) y Sotware Eiffel. El diseño del lenguaje está estrechamente relacionado con el método de programación Eiffel. Ambos se basan en una serie de principios incluyendo: el diseño por contrato, laseparación de comando de consulta, el principio de acceso uniforme, el principio de elección única, el principio abierto-cerrado y la separación operación-operando.
Muchos conceptos inicialmenteintroducidos por Eiffel aparecen más tarde en Java, C#, Sather, Ruby.Una estructura de programa orientado a objetos en el que una clase sirve como la unidad básica de la descomposición.
CARACTERÍSITCAS•Diseño por contrato estrechamente integrado con otras construcciones del lenguaje.
•Gestión de memoria automática, por lo general implementado por un recolector de basura.
•Herencia, incluyendo laherencia múltiple, el cambio de nombre, la redefinición, "select", herencia no conforme , y otros mecanismos destinados a hacer que la herencia sea segura.
•Programación genérica con y sinrestricciones.
•Gestión de un sistema de tipo uniforme donde la semántica del valor y la referencia en el que todos los tipos, incluidos los tipos básicos como entero, son de clase base.
•Tipado estático•Seguridad ausencia de tipos, o protección estática contra las llamadas a referencias a null, a través del mecanismo de tipos de adjuntos.
•Agentes, u objetos que agrupan a los cálculos , estrechamenterelacionados con la clausura y el cálculo lambda.



•Rutinas de ejecución única, o rutinas que se ejecutan solo una vez, para objetos compartidos y la inicialización descentralizada.
•Sintaxis depalabras clave siguiendo la tradición ALGOL / Pascal pero libre de separadores, en la medida en puntos y comas son opcionales, con la sintaxis disponible para definir operadores para las rutinas....