Hints on Programming Language Design.

Зимние каникулы — прекрасное время для чтения интересных околонаучных публикаций. Пока рылся в подборке, зацепила фамилия C.A.R. Hoare. Чарльз Энтони Ричард Хоар — британский учёный в области информатики и этих наших computer science — он же Charles Antony Richard Hoare, Tony Hoare или C.A.R. Hoare (так чаще всего подписаны его работы). К своему стыду не был знаком с его работой.

Хоар в 1959 году обучался в МГУ компьютерному переводу и теории вероятностей в школе Колмогорова. И в это же время в Москве (примерно 1959–1960 года) им была выполнена работа по созданию алгоритма «быстрой сортировки». А в 1980 он получает премию Тьюринга за «его выдающиеся достижения в определении и дизайне языков программирования».

Вчера с большим удовольствием прочитал его работу 1973 года:

C.A.R. Hoare — Hints on Programming Language Design.

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

1. Простота (simplicity) — язык должен быть лёгким для понимания и использования.

2. Безопасность (security) — минимизация ошибок на этапе компиляции и выполнения.

3. Быстрая трансляция (fast translation) — быстрая компиляция.

4. Эффективный объектный код (efficient object code) — высокая производительность исполняемой программы.

5. Читаемость (readability) — понятность кода для человека.

Работа опубликована в рамках сборника работ Stanford Artificial Intelligence Laboratory (SAIL) — лаборатория исследований в области искусственного интеллекта (AI) в Стэнфордском университете. Лаборатория, кстати, основана в 1963 году учёным Джоном Маккарти.

В 1980 году SAIL была закрыта как независимое учреждение. А что такое? А дело в том, что в то время бушевала первая зима искусственного интеллекта. «Зима искусственного интеллекта» — период в истории исследований искусственного интеллекта, характеризующийся сокращением финансирования и общим снижением интереса к этой области. Термин был введён научным сообществом по аналогии с понятием «ядерная зима». Впервые он прозвучал в 1984 году на ежегодной встрече Американской ассоциации искусственного интеллекта (AAAI).

Считается, что первая зима искусственного интеллекта проблилась с 1974 по 1980 год.