Эйлер (язык программирования)

Эйлер
Парадигмы	Мультипарадигмальность : процедурная , императивная , структурированная.
Семья	АЛГОЛ Вирт
Разработано	Никлаус Вирт ; Хельмут Вебер
Разработчики	Стэнфордский университет ; ETH Цюрих
Впервые появился	1965 год ; 59 лет назад
Дисциплина набора текста	динамичный
Объем	Лексический
Под влиянием
	АЛГОЛ 60

Эйлер — язык программирования, созданный Никлаусом Виртом и Гельмутом Вебером и задуманный как расширение и обобщение АЛГОЛА 60 . ^[1]^[2]^[3] Целью дизайнеров было создание языка, который:

Более простой, но более гибкий, чем АЛГОЛ 60.
Полезно и обработано с разумной эффективностью.
Определяется со строгой формальностью

Доступные источники указывают, что Эйлер заработал к 1965 году.

Обзор [ править ]

Эйлер использует общую концепцию типов данных . В Эйлере массивы , процедуры и переключатели не являются величинами, которые объявляются и именуются идентификаторами: в отличие от АЛГОЛА , они не являются величинами того же уровня, что и переменные . Скорее, эти величины находятся на уровне числовых и логических констант . Таким образом, помимо традиционных числовых и логических констант, Эйлер вводит несколько дополнительных типов:

Ссылка
Этикетка
Символ
Список (массив)
Процедура
Неопределенный

Все константы можно присвоить переменным, которые имеют ту же форму, что и в АЛГОЛе, но для которых не указаны фиксированные типы: Эйлер использует динамическую типизацию . Кроме того, процедура при выполнении может создавать значение любого типа, и этот тип может меняться от одного вызова процедуры к следующему .

Аналогично, элементы списка могут иметь значения любого типа, и они могут отличаться от элемента к элементу внутри списка. Итак, когда элементами списка являются метки, получается переключатель. Если элементы являются процедурами, получается список процедур, которого нет в АЛГОЛе 60. Если элементы сами являются списками, то получается общая древовидная структура.

Эйлер предоставляет общие операторы проверки типов и преобразования типов.

См. также [ править ]

Ссылки [ править ]

^ Вирт, Никлаус ; Вебер, Гельмут (1966). «Эйлер: обобщение АЛГОЛА и его формальное определение: Часть I». Коммуникации АКМ . 9 (1): 13–25.
^ Вирт, Никлаус ; Вебер, Гельмут (1966). «Эйлер: обобщение АЛГОЛА и его формальное определение: Часть II». Коммуникации АКМ . 9 (2): 89–99.
^ Кристофер, Томас В. (1997). Эйлер: Эксперимент по определению языка (PDF) (Отчет). Иллинойский технологический институт. Архивировано из оригинала (PDF) 1 сентября 2006 года.

Внешние ссылки [ править ]

EULER на GitHub — EULER IV для Burroughs B5500 1965 года.
euler на GitHub — реализация, написанная на Icon в 2000–2001 гг.

[1] Вирт, Никлаус ; Вебер, Гельмут (1966). «Эйлер: обобщение АЛГОЛА и его формальное определение: Часть I». Коммуникации АКМ . 9 (1): 13–25.

[2] Вирт, Никлаус ; Вебер, Гельмут (1966). «Эйлер: обобщение АЛГОЛА и его формальное определение: Часть II». Коммуникации АКМ . 9 (2): 89–99.

[3] Кристофер, Томас В. (1997). Эйлер: Эксперимент по определению языка (PDF) (Отчет). Иллинойский технологический институт. Архивировано из оригинала (PDF) 1 сентября 2006 года.

[1]

[2]

[3]