Статья 296

Б. Карри. В 1952 г. он сделал доклад Логика программных композиций, идеи которого опередили свое время по крайней мере на 25 лет. Х.Б. Карри рассмотрел задачу программирования как составление более крупных программ из готовых кусков. Были введены две базисные системы конструкций последовательное исполнение, разветвление и цикл, с одной стороны, и последовательное исполнение и условный переход - с другой. Он показал, какими логическими средствами можно воспользоваться для композиции программ из подпрограмм в каждом из этих случаев для структурного программирования - естественным выводом, для переходов - матричным представлением логических взаимосвязей. Было отмечено, что для успешного применения таких методов необходима система настройки модулей на конкретное окружение, более простыми словами - привязка неполных описаний к контексту у него даже промелькнуло сравнение параметров модуля с местоимениями естественного языка.