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

Эта статья не цитировать любой источники. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удаленный. Найдите источники: Язык программирования "Эйлер" – Новости · газеты · книги · ученый · JSTOR (Август 2009 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

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

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

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

Обзор

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

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

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

Смотрите также

• Отношение приоритета Вирта – Вебера
• Простой парсер приоритета

Литература

• Никлаус Вирт, Гельмут Вебер: EULER: обобщение АЛГОЛА и его формальное определение: Часть I. Коммуникации ACM 1966; 9 (1): с. 13-25
• Никлаус Вирт, Гельмут Вебер: EULER: обобщение АЛГОЛА и его формальное определение: Часть II. Коммуникации ACM 1966; 9 (2): с. 89-99
• Томас В. Кристофер: ЭЙЛЕР. Эксперимент в определении языка. Иллинойсский технологический институт, 1997. полный текст

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

• EULER на GitHub