Слева направо или справа налево?У народов, чья письменность имела истоки в эллинской письменной культуре, принято писать слева направо и сверху вниз. Набирая текст программы, мы двигаемся так же, как и при обычном письме. Но следует ли программа порядку «слева направо, сверху вниз»? a := b + c;В выше приведённом примере сначала вычисляется правая часть выражения «b + c», а затем результат присваивается «a». Т.е. пределах этого выражения вычислительный процесс двигался справа налево! Из-за распространённости этой операции мы фактически перешли к арабскому и еврейскому порядку письменности «справа налево». Это стало настолько привычным, что об этом мало кто задумывается. Тем не менее, история языков программирования сохранила попытки вернуть вычисления в традиционное русло «слева направо». При разработке ALGOL 58 предлагалось записывать выражение => величинаНо затем решили использовать выражение =: величинаИ по настоянию американских участников разработки пришли к величина := выражениеВ первоначальных версиях языка Рапира слева записывалось вычисляемое выражение, а справа — имя переменной: b + c -> a;Логично, не правда ли? На такой способ записи следовало бы обратить пристальное внимание. Чёткое и последовательное следование принципу «слева направо, сверху вниз» могло бы некоторых моментах сделать запись лаконичнее и логичнее. А языке Пифагор — демократия. Программист может записывать выражения как справа налево, так и слева направо: результат >> return return << результатВ некоторых языках, стоящих в стороне от «мейнстрима», вычисления тоже идут «слева направо, сверху вниз». Вот пример на языке Forth:
50 80 24 * +
Пояснение для тех, кому Forth не знаком:
положить в стек число 50,
положить в стек число 80,
положить в стек число 24,
перемножить два числа на вершине стека,
сложить два числа на вершине стека.
Выражение равносильно 50 + 80 * 24
Есть в языках программирования и такие операторы, которые нарушают порядок «сверху вниз».
Вот типичный для C-подобный языков универсальный оператор цикла:
for (i=0; i < N; i++)
{ /* тело цикла */ }
Оператор «i++» является «выскочкой»: он записан впереди тела цикла, но выполняется как раз таки в конце.
Наиболее естественным был бы такой способ записи цикла:
{<инициализирующие выражения> ( LOOP <условие>
<тело цикла>
<выражения приращения счётчика>
)}
Пояснения: скобки «{» и «}» выделяют выражения цикла и «прячут» объявленные переменные внутри области видимости цикла.
Собственно цикл начинается скобкой «(» и ключевым словом LOOP (возьмём его из языка Ада) и заканчивается закрывающей скобкой «)».
К такой записи сохраняется порядок «сверху вниз».
Минусом можно назвать то, что выражения приращения счётчика записаны после тела цикла.
Желательно, чтобы заголовок цикла был описан в одном месте, а не разбросан по всему циклу.
Подробнее циклы рассмотрим потом.
Здесь же продолжим о ходе вычислений.
Изменения естественного порядка вычислений, присущие выражениям цикла, запоминаются быстро и в дальнейшем вопросов не вызывают. Но есть ещё одна проблема, которая касается не собственно языка, а функций и процедур. В каком порядке должны располагаться аргументы функций и процедур? Где должен находиться «источник», а где «приёмник»? Языки не накладывают ограничений на аргументы функций. К чему это приводит? Возьмём функции из языка C: strcpy ( строка_куда, строка_откуда); // <-- справа налево ltoa ( число_откуда, строка_куда); // --> слева направо fputc( символ_откуда, файл_куда); // --> слева направо fgets( строка_куда, сколько, файл_откуда); // <-- справа налевоПолная анархия! Всё смешалось в доме Облонских. Да если б только Облонских! Вот пример из Паскаля, который хвалят за «строгость» и «математичность». Вот так функция описывается:
function func(n: integer): integer; <-- результат справа
А вот так применяется:
result := func(1); <-- результат слева
Единый стиль, стандартизация были бы полезны.
Предпочтительнее, если программист опирается на логику, а не надеется на память.
Иначе многие вещи (например, порядок следования аргументов функции) приходится просто запоминать.
Опубликовано: 2012.09.25, последняя правка: 2022.04.30 13:35
Отзывы✅ 2013/11/16 12:55, Noname #0 Варианты присвоения и извлечения глобальной переменной в Форт\ после слеш комментарий ✅ 2016/04/17 12:58, rst256 #1 a := b + c;А как же тип? Тип результата желательно сразу узнать. Да и вся математика пользуется такой записью. А последнее именно потому, что я читаю слева направо, оно должно записываться справа налево. Программисту гораздо чаще нужно лазить по коду и не вычислять его, поэтому мне в данном случае плевать на такие тонкости. Человек читает в обратную сторону, он получатель, так сказать, в данном случае. Простой пример "....Меня вы понимаете? А вы меня понимаете? Написать автору можно на электронную почту |
Продолжение цикла и выход из него