Eiffel

Eiffel
Парадигма об'єктно-орієнтована
Дата появи 1986
Творці Бертран Майєр
Розробник Бертран Маєр & Eiffel Software
Останній реліз
Система типізації сувора, статична
Основні реалізації EiffelStudio, SmartEiffel, Visual Eiffel
Під впливом від Ada, Simula, Z
Вплинула на Sather, Ruby, Java, C#, D
Платформа кросплатформова програма

Eiffel — об'єктно-орієнтована мова програмування. Має міжнародний стандарт ISO. Починаючи з 1985 року, багатьма підтриємствами було розроблено середовища для програмування в Eiffel.

До основних рис мови програмування Eiffel належать:

  • Об'єктно-орієнтована структура програм, класи використовуються як базові одиниці декомпозиції.
  • Дизайн за контрактом, щільно інтегрований з іншими конструкціями мови.
  • Автоматичне керування пам'ятю, як правило, реалізується у вигляді автоматичного прибирання сміття.
  • Успадкування, включаючи множинне успадкування та механізми аби зробити успадкування безпечним.
  • Загальне програмування, з обмеженнями та без.
  • Одноманітна система типізації, з підтримкою семантики значень та посилань, всі типи, включно із базовими основані на класах.
  • Безпечна типізація (статична типізація).
  • Захист від викликів невизначених посилань.
  • «Агенти» (об'єкти, що містять обчислення, схоже на замикання та Лямбда числення).
  • Одноразові підпрограми (можуть виконуватись лише один раз під час роботи програми).
  • Ключові слова в стилі Алгол-подібних мов програмування та Pascal, але крапка з комою не є обов'язковою.
  • Нечутливість до регістру літер.

Приклад «Hello, world!»

Нижче наведено можливий варіант програми, що виводить рядок «Hello, world!»:

class
    HELLO_WORLD
create
    make
feature
    make
        do
            print ("Hello, world!%N")
        end
end

Посилання

  • Бертран Майєр, Підручник з Eiffel (100 pages) (HTML [Архівовано 30 червня 2004 у Wayback Machine.], PDF [Архівовано 15 березня 2003 у Wayback Machine.])
  • стандарт Eiffel [Архівовано 16 червня 2008 у Wayback Machine.], друга редакція (2006); стандарт ECMA з вільним доступом, текст стандарту ідентичний стандарту ISO.
  • eiffelzone.com [Архівовано 29 листопада 2004 у Wayback Machine.] — каталог ресурсів пов'язаних з Eiffel.


Мова програмування Це незавершена стаття про мови програмування.
Ви можете допомогти проєкту, виправивши або дописавши її.
  • п
  • о
  • р
Низькорівневі
Високорівневі
Загального
призначення
Серверні
Запитів до баз
даних[суперечливо 1]
Розмітки та векторної
графіки[суперечливо 1]
Синхронні[en]
  • Lustre[en]
Символьних та
чисельних обчислень
Квантових обчислень
Логічні
  • Mercury[en]
  • Prolog
Академічні
Езотеричні
  1. а б Немає загальноприйнятого рішення, чи вважати усі ці мови саме мовами програмування
  • п
  • о
  • р
Стандарти ECMA International
Програмні інтерфейси
Файлові системи (стрічки)
Файлові системи (диски)
Графічні
  • U3D
Мови програмування
Інтерфейси радіозв'язку
Інші
  • ECMA-35
Список стандартів ECMA