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

Euler (programming language)
Эйлер
Парадигмапроцедурный, императив, структурированный
РазработаноНиклаус Вирт и
Гельмут Вебер
Печатная дисциплинадинамичный
Под влиянием
АЛГОЛ 60

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

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

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

Обзор

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

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

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

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

Литература

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

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