Евклид (язык программирования) - Euclid (programming language)

Евклид
Парадигмамультипарадигма: структурированный, императив, функциональный
РазработаноБатлер Лэмпсон, Xerox PARC
РазработчикРик Холт и Джеймс Корди
Впервые появился1970-е годы
Печатная дисциплинасильный, статический
Под влиянием
Паскаль
Под влиянием
Меса, Параллельный Евклид, Тьюринг

Евклид это императивный язык программирования для написания проверяемый программы. Он был разработан Батлер Лэмпсон и сотрудники Xerox PARC лаборатория в середине 1970-х гг. Реализацией руководил Рик Холт на Университет Торонто и Джеймс Корди был главным программистом при первой реализации компилятор. Первоначально он был разработан для Motorola 6809 микропроцессор. Для того времени это считалось инновационным; команда разработчиков компилятора имела бюджет в 2 миллиона долларов на 2 года и был заказан Агентство перспективных оборонных исследовательских проектов из Министерство обороны США и Канадское министерство национальной обороны. Его использовали несколько лет в I. P. Sharp Associates, Корпорация МИТЕР, SRI International и различные другие международные институты для исследований в области системного программирования и безопасных программных систем.

Евклид происходит от Язык программирования Паскаль. Функции в Euclid являются закрытыми областями действия, могут не иметь побочных эффектов и должны явно объявлять импорт. Евклид также запрещает перейти к с, числа с плавающей запятой, глобальные присвоения, вложенные функции и псевдонимы, и ни один из фактических параметров функции не может относиться к одному и тому же. Евклид реализует модули как типы. Потомки Евклида включают Язык программирования Mesa, то Параллельный язык программирования Евклид и Язык программирования Тьюринга.

внешняя ссылка