HAL/S

HAL/S

Семантика:	процедурный
Тип исполнения:	компилируемый
Появился в:	1970 в 1972
Автор(ы):	Intermetrics
Типизация данных:	статическая
Испытал влияние:	PL/1, ALGOL, MAC/360

HAL/S (англ. High-order Assembly Language/Shuttle в «язык ассемблера высокого уровня/шаттл») в язык программирования, предназначенный для аэрокосмических систем реального времени, получивший известность из-за использования в Программа космических шаттлов. Разработан в 1970-х годах компанией Intermetrics для НАСА. Написан на XPL, диалекте PL/I.

Тремя ключевыми факторами, обусловившими появление данного языка явились надёжность, эффективность и машиннонезависимость. Язык разработан для того, чтобы позволить выполнять задачи, связанные с аэрокосмическими нуждами (такие как векторные/матричные вычисления) так, чтобы это было легко понимаемо людьми, обладающими знаниями в области аэронавтики и не обязательно имеющими квалификацию в области программирования.

HAL/S разработан без многих конструкций, известных тем, что они часто приводят к ошибкам. В языке не используются сокращения для ключевых слов, ключевые слова не могут использоваться для обозначения переменных.

Некоторые возможности, такие как «GOTO» предоставлены главным образом для упрощения перевода на этот язык программ, написанных на других языках.

Особенности, подобные описанным, приданы языку для снижения вероятности появления ошибок и упрощения понимания программ (само-документирующийся код).

HAL не является акронимом. На странице введения спецификации языка HAL/S говорится: «в.основной вклад в концепцию и реализацию MAC внёс профессор Дж. Хэлкомб Лэйнинг (Dr. J. Halcombe Laning) из Draper Laboratory.» Название «HAL» для нового языка предложено Эдом Коппсом (Ed Copps), основателем Intermetrics, в честь Хэла Лэйнинга, коллеги по Массачусетскому технологическому институту.

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

Ссылки

• Центр НАСА дизайна логики: компьютеры и авионика космических шаттлов  (англ.)

• включая спецификации языка и компилятора, руководство программиста и пользователя.

• Компьютеры в космических полётах: опыт НАСА  (англ.) в Джорджа Томаяко (George Tomayko) (Приложение II: «HAL/S, язык реального времени для космических полётов»)  (англ.)