E (язык программирования) - E (programming language)
 | Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) (Узнайте, как и когда удалить этот шаблон сообщения)
|
| Парадигма | Мультипарадигма: объектно-ориентированный, передача сообщений |
|---|---|
| Разработано | Марк С. Миллер |
| Впервые появился | 1997 |
| Печатная дисциплина | Сильный, динамичный |
| Операционные системы | Кроссплатформенность |
| Лицензия | Порции в разных бесплатные лицензии |
| Интернет сайт | права |
| Основной реализации | |
| E-on-Java, E-on-CL | |
| Под влиянием | |
| Джоуль, Оригинал-E, Ява | |
| Под влиянием | |
| Пони | |
E является объектно-ориентированного программирования язык для безопасный распределенных вычислений, сделано Марк С. Миллер, Дэн Борнштейн, и другие в Electric Communities в 1997 году. E в основном происходит от параллельного языка Джоуль и от Original-E, набора расширений Java для безопасного распределенного программирования. E сочетает сообщение -основные вычисления с Ява -подобный синтаксис. А параллелизм модель на основе петли событий и обещания гарантирует, что тупик никогда не может произойти.[нужна цитата ]
Философия
Язык E разработан с безопасные вычисления в уме; это достигается главным образом за счет строгого соблюдения модели объектно-ориентированных вычислений, которая в чистом виде имеет свойства, поддерживающие безопасные вычисления. Язык E и его стандартная библиотека используют основанный на возможностях философия проектирования во всем, чтобы помочь программистам создавать безопасное программное обеспечение и дать возможность программным компонентам сотрудничать, даже если они не полностью доверяют друг другу. В E ссылки на объекты служат в качестве возможностей, поэтому возможности не добавляют вычислительных или концептуальных накладных расходов. Синтаксис языка разработан таким образом, чтобы люди могли легко проверять недостатки безопасности. Например, лексический обзор ограничивает объем кода, который необходимо исследовать на предмет его влияния на заданную переменную. В качестве другого примера, язык использует == оператор для сравнения и := оператор присваивания; чтобы избежать путаницы, нет = оператор.
Вычислительная модель
В E все значения объекты и вычисление выполняется путем отправки сообщений объектам. Каждый объект принадлежит НДС (аналогично процесс ). У каждой ванны есть единственный поток выполнения, фрейм стека и очередь событий. Распределенное программирование просто отправка сообщений удаленным объектам (объектам в других чанах). Все коммуникации с удаленными сторонами зашифрованный средой выполнения E. Поступающие сообщения помещаются в очередь событий ванны; Цикл обработки событий ванны обрабатывает входящие сообщения одно за другим в порядке их поступления.
E имеет два способа отправки сообщений: немедленный звонок и возможная отправка. Немедленный вызов подобен обычному вызову функции или метода на непараллельном языке: отправитель ждет, пока получатель закончит работу, и вернет значение. Возможная отправка отправляет сообщение, создавая заполнитель для результата, называемого обещать. Отправитель немедленно выполняет обещание. Позже, когда получатель заканчивает и возвращает результат, обещание преобразуется в результат. Поскольку при обмене данными с удаленными объектами разрешены только возможные отправки, тупиковые ситуации не может случиться. В распределенных системах механизм обещания также минимизирует задержки, вызванные задержкой в сети.
Синтаксис и примеры
Синтаксис E больше всего похож на Ява, хотя он также имеет некоторое сходство с Python и Паскаль. Переменные динамически типизированный и лексически ограниченный. Однако, в отличие от Java или Python, E полностью состоит из выражения. Вот чрезвычайно простая программа на E:
println("Привет, мир!")Вот рекурсивная функция для вычисления факториала числа, написанная на E. Функции определяются с использованием def ключевое слово.
def факториал(п :int) :int { если (п == 1) { возвращаться 1 } еще если (п > 0) { возвращаться п * факториал(п-1) } еще { бросать("недопустимый аргумент факториала:"+п) } }В первой строке : int это сторожить который ограничивает аргумент и результат функции. Страж - это не совсем то же самое, что объявление типа; охранники не являются обязательными и могут указывать ограничения. Первый : int гарантирует, что тело функции будет обрабатывать только целочисленный аргумент. Без второго : int выше, функция не сможет вернуть значение. Возможность заранее увидеть, что информация выходит за пределы функции, полезна для аудита безопасности.
Поскольку E предназначен для поддержки безопасного сотрудничества, каноническим примером для программ E является монетный двор, простая система электронных денег, состоящая всего из нескольких строк E. Следующий код определяет функцию, которая создает монетные дворы, где каждый монетный двор имеет свои собственные. валюта. Каждый монетный двор может изготавливать кошельки, в которых хранится его валюта, и любой владелец двух кошельков с одинаковой валютой может безопасно переводить деньги между кошельками. Путем быстрого изучения исходного кода E-программист может легко убедиться, что только монетные дворы могут изменять количество денег в обращении, что деньги можно только создавать, а не уничтожать, что монетные дворы могут создавать деньги только в своей собственной валюте, и что только владелец кошелька может изменить его баланс.
def makeMint(имя) :любой { def [герметик, распечатывающий] := makeBrandPair(имя) def мята { к makePurse(вар баланс :(int >= 0)) :любой { def декр(количество :(0..баланс)) :пустота { баланс -= количество } def кошелек { к getBalance() :int { возвращаться баланс } к росток() :любой { возвращаться мята.makePurse(0) } к getDecr() :любой { возвращаться герметик.тюлень(декр) } к депозит(количество :int, src) :пустота { распечатывающий.распечатать(src.getDecr())(количество) баланс += количество } } возвращаться кошелек } } возвращаться мята }Объекты в E определяются с помощью def ключевое слово, а в определении объекта к ключевое слово начинается каждый метод. Выражения защиты в этом примере иллюстрируют, как указать ограничение значения (как в : (int> = 0) или же : (0..баланс)).
В примере с монетным двором используется встроенный механизм, называемый герметик. Функция makeBrandPair создает два связанных объекта, запечатывающее устройство и распечатывающее устройство, так что запечатывающее устройство может запечатать объект в коробке, а распечатывающее устройство является единственным объектом, который может извлечь содержимое коробки. Посетите веб-сайт E для более подробного объяснения этого примера денег.[1]
Смотрите также
Рекомендации
- ^ Рис, Джонатан; Миллер, Марк (2001). «От объектов к возможностям - простые деньги». erights.org. ERights. Получено 8 июля 2014.
Прежде чем представить следующий простой пример денег, основанных на возможностях, мы должны попытаться предотвратить путаницу, которую этот пример неоднократно вызывает. Мы не предлагаем делать деньги таким образом! Желательная денежная система также должна обеспечивать ...