Джоуль (язык программирования)

Joule — это безопасный язык программирования потоков данных с массовым параллелизмом , предназначенный для создания распределенных приложений . ^[1] Он настолько параллелен, что порядок операторов внутри блока не имеет значения для работы блока. Операторы выполняются, когда это возможно, на основе их входных данных. Все в Джоуле происходит путем отправки сообщений. Нет потока управления . Вместо этого программист описывает поток данных, превращая его в язык программирования потоков данных . ^{[ нужна цитата ]}

Разработка Joule началась в 1994 году в компании Agorics в Пало-Альто, Калифорния . ^[2] Считается предшественником языка программирования E. ^{[3] [4]}

Синтаксис языка

Цифры состоят из цифр ASCII 0–9; идентификаторы — это последовательности цифр, букв и операторных символов Юникода , начинающиеся с буквы. Также возможно формировать идентификаторы с помощью последовательностей Юникода (включая пробелы), заключенных в прямые (' ') или стандартные (' ') одинарные кавычки, где обратная косая черта является escape-символом. Ключевые слова должны начинаться с буквы, за исключением ключевого слова • для отправки информации. Операторы состоят из последовательностей цифр, букв и символов Unicode, начинающихся с символа оператора. Метки представляют собой идентификаторы, за которыми следует двоеточие (':'). ^[5]

По сути, Джоуль — это императивный язык и, следовательно, язык, основанный на утверждениях. Он имеет богатый синтаксис выражений, который легко преобразуется в реляционный синтаксис. Сложные выражения становятся отдельными операторами, в которых место исходного выражения заменяется ссылкой на получателя канала результатов. Таким образом, вложенные выражения по-прежнему вычисляются полностью одновременно с оператором внедрения. ^[5]

 Если сумма <= баланс • вывод средств со счета: сумма еще • отчет об отказе аккаунта: конец

Идентификаторы могут называть канал для связи с сервером. В этом случае говорят, что он привязан к этому каналу. ^[5]

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

1. Миллер, Марк Сэмюэл (2006). «Надежная композиция: к единому подходу к контролю доступа и управлению параллелизмом». Университет Джонса Хопкинса. {{cite journal}}: Требуется цитировать журнал |journal=( помощь )
2. Фремонт, Дэвид (октябрь 1994 г.). «В ожидании кибер-топора». Вращаться . 10 (7): 88.
3. «Ссылки по теме на агорические вычисления и смарт-контракты» . erights.org . Долг Э перед Джоулем невозможно переоценить.
4. "Руководство программиста E" . Электрические сообщества. 19 июля 1996 г. Язык программирования E был во многом вдохновлен языком Joule, который в настоящее время разрабатывается Дином Трибблом, Нормом Харди и их коллегами из Agorics, Inc.
5. «Джоуль: Основы распределенных приложений: 4.2. Выражения» (PDF) . 1 . Agorics, Inc., 20 декабря 2004 г.: 31–33 . Проверено 29 августа 2012 г. {{cite journal}}: Требуется цитировать журнал |journal=( помощь )

Внешние ссылки

• Джоуль: основы распределенных приложений
• C2: Конвейеризация обещаний