Eiffel
З Вікіпедії, безкоштовно encyclopedia
Eiffel — об'єктно-орієнтована мова програмування. Має міжнародний стандарт ISO. Починаючи з 1985 року, багатьма підтриємствами було розроблено середовища для програмування в Eiffel.
Коротка інформація Парадигма, Дата появи ...
Eiffel | |
---|---|
Парадигма | об'єктно-орієнтована |
Дата появи | 1986 |
Творці | Бертран Майєр |
Розробник | Бертран Маєр & Eiffel Software |
Останній реліз | |
Система типізації | сувора, статична |
Основні реалізації | EiffelStudio, SmartEiffel, Visual Eiffel |
Під впливом від | Ada, Simula, Z |
Вплинула на | Sather, Ruby, Java, C#, D |
Платформа | кросплатформова програма |
Закрити
До основних рис мови програмування Eiffel належать:
- Об'єктно-орієнтована структура програм, класи використовуються як базові одиниці декомпозиції.
- Дизайн за контрактом, щільно інтегрований з іншими конструкціями мови.
- Автоматичне керування пам'ятю, як правило, реалізується у вигляді автоматичного прибирання сміття.
- Успадкування, включаючи множинне успадкування та механізми аби зробити успадкування безпечним.
- Загальне програмування, з обмеженнями та без.
- Одноманітна система типізації, з підтримкою семантики значень та посилань, всі типи, включно із базовими основані на класах.
- Безпечна типізація (статична типізація).
- Захист від викликів невизначених посилань.
- «Агенти» (об'єкти, що містять обчислення, схоже на замикання та Лямбда числення).
- Одноразові підпрограми (можуть виконуватись лише один раз під час роботи програми).
- Ключові слова в стилі Алгол-подібних мов програмування та Pascal, але крапка з комою не є обов'язковою.
- Нечутливість до регістру літер.