Брайан Керниган - UNIX — универсальная среда программирования

Операторы hocимеют следующую грамматику:

оператор : выражение

| переменная выражение

| процедура (список, аргументов)

| while (выражение) оператор

| if (выражение) оператор

| if (выражение) оператор else оператор

| список_операторов

| print список_выражений

| return возможное_выражение

список_операторов : (пусто)

| список_операторов оператор

Присваивание распознается по умолчанию как оператор, а не как выражение, поэтому после ввода в диалоге присваиваний их значения не печатаются.

Отметим, что символ ;не является для hocспециальным: оператор оканчивается символом перевода строки. Это обусловливает некоторые особенности. Ниже показан допустимый оператор if:

if (x < 0) print(у) else print (z)

if (x < 0) {

print(y)

} else {

print(z)

}

Во втором примере скобки не обязательны: символ перевода строки после ifоканчивал бы оператор и вызывал бы синтаксическую ошибку там, где опущены скобки.

Синтаксис и семантика средств управления в hocв основном те же, что и в Си. Одинаковы также whileи if, однако в hocнет операторов breakи continue.

Функция ввода read(читать) имеет, подобно другим встроенным функциям, один аргумент: однако он не является выражением: это имя переменной. Следующее число, как определено выше, читается из стандартного входного потока и присваивается поименованной переменной. Функция readвозвращает значения 1 (истина), если величина была прочитана, и 0 (ложь), если readвстретила конец файла либо ошибку.

Выходной поток порождается оператором print. Аргументы printсоставляют разделяемый запятыми список выражений и строк, взятых в кавычки, как в Си. Символы перевода строки должны добавляться: printих никогда автоматически не вводит.

Отметим, что readесть специальная встроенная функция и поэтому получает один аргумент в скобках, тогда как printоператор, получающий список, разделяемый запятыми без скобок:

while (read (x)) {

print "value is", x, "\n"

}

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

Синтаксис определения таков:

function: func имя () оператор

procedure: proc имя() оператор

Здесь имя может быть именем некоторой переменной встроенные функции исключаются. Определение, вплоть до открывающейся скобки оператора, должно помещаться на одной строке, как в приведенном выше операторе if.

В отличие от Си тело функции или процедуры может быть любым оператором, не обязательно составным (в скобках). Поскольку символ ; не имеет своего значения в hoc, пустое тело процедуры формируется пустой парой скобок.

Функции и процедуры при вызовах могут получать аргументы, отделенные запятыми. На аргументы ссылаются так же, как в shell: $3относится к третьему, индексируемому, начиная с единицы, аргументу. Они передаются значениями и внутри функций семантически эквивалентны переменным. Ссылка на аргумент с помощью числа, превышающего число аргументов, переданных процедуре, считается ошибкой. Контроль ошибок динамический, поскольку подпрограмма может иметь переменное число параметров, если ее начальные аргументы влияют на это число (см. функцию printfв Си).

Функции и процедуры могут быть рекурсивными, но стек имеет ограниченную глубину (около сотни вызовов).

• Ниже показано определение функции Аккерманна в hoc:

$ hoc

time ack() {

if ($1 == 0) return $2+1

if ($2 ==0) return ack($1 - 1, 1)

return ack($1 - 1, ack($1, $2 - 1))

}

ack(3,2)

29

ack(3,3)

61

ack(3,4)

hoc: стек слишком велик (строка 8)

...

• Формула Стирлинга:

$ hoc

func stirl() {

return sqrt(2 * $1 * PI) * ($1 / E) ^ $1 * (1 + 1 / (12 * $1))

}

stirl(10) 3628684.7

stirl(20) 2.4328818e+18

• Функция факториал n !

func fac() if ($1 <= 0) return 1 else return $1 * fac($1 - 1)