CLU (язык программирования) - CLU (programming language)

CLU
Парадигмамультипарадигма: объектно-ориентированный, процедурный
РазработаноБарбара Лисков и ее ученики
РазработчикМассачусетский Институт Технологий
Впервые появился1975; 45 лет назад (1975)
Стабильный выпуск
Родной CLU 1.5 (SPARC, VAX ) / 26 мая 1989 г.; 31 год назад (1989-05-26)[1]

Portable CLU / 6 ноября 2009 г.; 11 лет назад (2009-11-06)[2]

Печатная дисциплинасильный
Интернет сайтwww.pmg.lcs.mit.edu/ CLU.html
Основной реализации
Родной CLU,[1] Портативный CLU,[2] clu2c[3]
Под влиянием
АЛГОЛ 60, Лисп, Симула, Alphard
Под влиянием
Ада, Аргус, C ++, Lua, Python,[4] Рубин, Sather, Быстрый[5]

CLU это язык программирования создан на Массачусетский Институт Технологий (MIT) автор: Барбара Лисков и ее учениками между 1974 и 1975 годами. Хотя он не нашел широкого применения, он представил многие функции, которые широко используются сейчас, и рассматривается как шаг в развитии объектно-ориентированного программирования (ООП).

Ключевые вклады включают абстрактные типы данных,[6] звонок-за-обмен, итераторы, несколько возвращаемых значений (форма параллельное назначение ), типобезопасный параметризованные типы, и типобезопасный типы вариантов. Он также примечателен использованием классы с конструкторы и методы, но без наследование.

Кластеры

В синтаксис CLU был основан на АЛГОЛ, затем отправная точка для большинства новых языковых дизайнов. Ключевым дополнением стала концепция кластер, Система расширения типов CLU и корень имени языка (CLUster).[7] Кластеры обычно соответствуют концепции «класса» в объектно-ориентированном языке. Например, вот синтаксис CLU для кластера, который реализует сложные числа:

    комплексное_число = кластер - это сложение, вычитание, умножение, ... rep = запись [real_part: real, imag_part: real] add = proc ... end add; subtract = proc ... end subtract; умножить = процесс ... конец умножить; ... конец комплексное_число;

Кластер - это модуль, который инкапсулирует все свои компоненты, кроме тех, которые явно указаны в предложении «is». Они соответствуют общедоступным компонентам класса в последних объектно-ориентированных языках. Кластер также определяет тип, который может быть назван вне кластера (в данном случае «complex_number»), но его тип представления (rep) скрыт от внешних клиентов.

Имена кластеров являются глобальными, и не было предоставлено никакого механизма пространства имен для группирования кластеров или разрешения их создания «локально» внутри других кластеров.

CLU не выполняет неявные преобразования типов. В кластере явные преобразования типов вверх и вниз переход между абстрактным типом и представлением. Есть универсальный тип любой, а процедура force [] проверяет, принадлежит ли объект определенному типу. Объекты могут быть изменяемыми или неизменяемыми, причем последнее базовые типы такие как целые числа, логические значения, символы и строки.[7]

Другие свойства

Другой ключевой особенностью системы типов CLU являются: итераторы, которые возвращают объекты из коллекции последовательно, один за другим.[7] Итераторы предлагают идентичный интерфейс прикладного программирования (API) независимо от того, с какими данными они используются. Таким образом, итератор для набора комплексное числоs можно использовать как синонимы для массива целое числос. Отличительной особенностью итераторов CLU является то, что они реализованы как сопрограммы, при этом каждое значение предоставляется вызывающей стороне через урожай утверждение. Итераторы, подобные тем, что есть в CLU, теперь являются общей чертой многих современных языков, таких как C #, Ruby и Python, хотя в последнее время их часто называют генераторами.

CLU также включает Обработка исключений, основанный на различных попытках на других языках; исключения возникают с использованием сигнал и обработано с Кроме. В отличие от большинства других языков с обработкой исключений, исключения не передаются неявно вверх по цепочке вызовов. Также, в отличие от большинства других языков, которые обеспечивают обработку исключений, исключения в CLU считаются частью обычного потока выполнения и считаются «нормальным» и эффективным способом выхода из циклов или возврата из функций; это позволяет напрямую присваивать возвращаемые значения «кроме случаев», когда применяются другие условия. Исключения, которые не перехватываются и не отменяются явным образом, немедленно преобразуются в особую исключительную ситуацию сбоя, которая обычно завершает программу.

CLU часто считают первым языком с безопасным типом типы вариантов, называется Oneofs, прежде чем язык ML были они.

Последняя отличительная черта CLU: параллельное назначение (множественное присвоение), где более одной переменной может отображаться в левой части назначение оператор. Например, написание х, у: = у, х обмениваются ценностями Икс и у. Таким же образом функции могут возвращать несколько значений, например х, у, z: = f (t). Параллельное присваивание (но не множественные возвращаемые значения) предшествует CLU и появляется в CPL (1963), названный одновременное назначение,[8] но CLU популяризировал это и часто считается прямым влиянием, ведущим к параллельному назначению в более поздних языках.

Все объекты в программе CLU находятся в куче, и управление памятью осуществляется автоматически.

CLU поддерживает параметризованный тип определяемые пользователем абстракции данных. Это был первый язык, предлагающий типобезопасные ограниченные параметризованные типы с использованием структуры где статьи для выражения ограничений на аргументы фактического типа.

Влияние

CLU и Ада были главным источником вдохновения для C ++ шаблоны.[нужна цитата ]

Механизмы обработки исключений CLU повлияли на более поздние языки, такие как C ++ и Ява.[нужна цитата ]

Sather, Python, и C # включают итераторы, который впервые появился в CLU.[нужна цитата ]

Perl и Lua принял многократное присвоение и многократный возврат из вызовов функций из CLU.[9]

Python и Рубин одолженный позвонить, поделившись, то урожай утверждение,[10] и множественное назначение.[11]

Рекомендации

  1. ^ а б Кертис, Дороти (06.11.2009). "Домашняя страница CLU". Группа методологии программирования, Лаборатория компьютерных наук и искусственного интеллекта. Массачусетский Институт Технологий. Получено 2016-05-26.
  2. ^ а б Кертис, Дороти (06.11.2009). "Индекс / pub / pclu". Группа методологии программирования, Лаборатория компьютерных наук и искусственного интеллекта. Массачусетский Институт Технологий. Получено 2016-05-26.
  3. ^ Ушидзима, Тецу. "clu2c". clu2c. woodsheep.jp. Получено 2016-05-26.
  4. ^ Лунд, Фредрик. «Звонок по объекту». effbot.org. Получено 21 ноября 2017. замените «CLU» на «Python», «запись» на «экземпляр» и «процедуру» на «функцию или метод», и вы получите довольно точное описание объектной модели Python.
  5. ^ Латтнер, Крис (2014-06-03). "Домашняя страница Криса Латтнера". Крис Латтнер. Получено 2014-06-03. Язык Swift является продуктом неустанных усилий команды языковых экспертов, гуру документации, ниндзя по оптимизации компиляторов и невероятно важной внутренней группы, которая предоставила отзывы, чтобы помочь усовершенствовать и протестировать идеи. Конечно, он также очень выиграл от опыта, с трудом завоеванного многими другими языками в этой области, черпая идеи из Objective-C, Rust, Haskell, Ruby, Python, C #, CLU и слишком многих других, чтобы перечислить.
  6. ^ Лисков, Варвара; Зиллес, Стивен (1974). «Программирование с абстрактными типами данных». Материалы симпозиума ACM SIGPLAN по языкам очень высокого уровня. С. 50–59. CiteSeerX  10.1.1.136.3043. Дои:10.1145/800233.807045.CS1 maint: ref = harv (связь)
  7. ^ а б c Лисков, Б.; Снайдер, А .; Аткинсон, Р .; Шафферт, К. (август 1977 г.). «Механизмы абстракции в CLU». Коммуникации ACM. 20 (8): 564–576. CiteSeerX  10.1.1.112.656. Дои:10.1145/359763.359789.
  8. ^ Barron, D.W .; Бакстон, Дж. Н .; Хартли, Д. Ф .; Nixon, E .; Стрейчи, К. (1963). «Основные особенности CPL». Компьютерный журнал. 6 (2): 134–143. Дои:10.1093 / comjnl / 6.2.134.
  9. ^ Иерусалимский, Р .; De Figueiredo, L.H .; Селес, В. (2007). «Эволюция Lua». Материалы третьей конференции ACM SIGPLAN по истории языков программирования - HOPL III (PDF). С. 2-1–2-26. Дои:10.1145/1238844.1238846. ISBN  978-1-59593-766-7.
  10. ^ «Корни Рубина и лидерство Маца». Разработка портфолио. 2019-11-08. Получено 2019-11-15. Матц считает, что блоки - величайшее изобретение Ruby (я согласен). Он взял идею из языка 1970-х годов под названием CLU из Массачусетского технологического института, который назвал их «итераторами» ...
  11. ^ "HOWTO по функциональному программированию - документация по Python 3.8.3". docs.python.org. Получено 2020-05-25.

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