Cтраница 1
Официальное описание неверно: параметры задаются без скобок. [1]
В официальном описании изобретения сказано двигатель вырабатывает энергию... Автоматическая система цепь-грузы надета на зубчатое колесо, вращающееся в подшипнике... Энергия, вырабатываемая патентуемым двигателем, может заменить дорогостоящую энергию, вырабатываемую сложными двигателями, использующими дорогое топливо, энергию тепловых и атомных электростанций, гидростанций. Из этого описания видно сразу, что изобретение сделано в наше просвещенное время, а не в каком-то мрачном средневековье, когда электростанций вообще не было. [2]
В течение многих лет роль официального описания языка Паскаль выполняла книга [91], что было совершенно неудовлетворительно. Книга [91] состоит из двух частей. [3]
Совершенно недостаточно держать в одной руке официальное описание некоторого языка программирования, открытое на соответствующей странице, а в другой руке - ручку или карандаш, чтобы писать синтаксически правильные программы на этом языке программирования. Необходимо также выполнять эти программы на реальной ЭВМ, исправлять любые имеющиеся в них ошибки и убеждаться в том, что эти программы надежны. [4]
Если это заявление соответствует истине и если считать верификатор lint частью официального описания языка Си, то с языком Си дело обстоит не так плохо, как утверждал автор выше. К сожалению, детали проверок, выполняемых верификатором lint, нигде и никак не документированы. [5]
Складывается впечатление, что язык Паскаль в соответствии с его официальным описанием [91] не может быть безопасно реализован на традиционных ЭВМ иным способом, кроме как приписыванием каждому значению тега. Этот тег обеспечивает возможность проведения всех необходимых проверок на этапе выполнения, что приводит к фантастическому росту накладных расходов. [6]
Вторая часть ( Сообщение, состоящее из 32 страниц1) представляет собой официальное описание языка Паскаль. Обе части книги [91] недостаточно точны, и их изучение оставляет без ответа ряд вопросов, касающихся языка Паскаль. [7]
Автор считает, что книга [101] недостаточно полна, чтобы считаться официальным описанием языка Си. Термин официальное описание будет определен в § 4.4.2 настоящей статьи, в котором вопрос о неадекватности книги [101] в качестве официального описания языка Си рассмотрен более подробно. [8]
Во-первых, обеспечивается возможность выявления определенных ошибок в программе, а именно ошибок, связанных с отступлением от официального описания используемого языка программирования. Незначительное уменьшение числа проводимых проверок ( например, на 2 %) не оказывает существенного влияния на выявление ошибок, поскольку ошибка, наличие которой должно было бы диагностироваться отсутствующей проверкой, скорее всего, будет дополнительно диагностирована одной из имеющихся проверок. [9]
Книга [91] соответствует реализации языка Паскаль для ЭВМ семейства CDC, и в ней явно проведено различие между официальным описанием языка Паскаль и особенностями его реализации. Книга [91] доступна любому желающему: ее можно приобрести в любом книжном магазине. [10]
Автор глубоко убежден, что реальный прогресс не может быть достигнут, пока программисты не научатся ясно различать язык программирования ( его официальное описание) и реализацию этого языка программирования в терминах транслятора с этого языка программирования и используемой ЭВМ. Причем первое должно быть понятно без знания второго. А ожидать того, что программисты научатся ясно различать это, можно лишь в том случае, если разработчики языков программирования будут ставить перед собой такую цель, а те, Кто занимается реализацией языков программирования и созданием документации, не будут препятствовать ее, достижению. [11]
Хотя польза от легкочитаемых введений в те или иные языки программирования, ориентированных на начинающих программистов, не вызывает никаких сомнений, автора больше интересует вопрос о том, насколько официальные описания различных языков программирования и стандарты на них удовлетворяют сформулированным выше требованиям. [12]
В то время как Вильям Джеймс изыскивал способы исследования, возможно, именно Эдвард Брэдфорд Титчнер ( человек, с которым мы встречались несколько страниц назад и который также участвовал в формализации школы структурализма) сделал первое официальное описание функционализма. [13]
Автор считает, что книга [101] недостаточно полна, чтобы считаться официальным описанием языка Си. Термин официальное описание будет определен в § 4.4.2 настоящей статьи, в котором вопрос о неадекватности книги [101] в качестве официального описания языка Си рассмотрен более подробно. [14]
Важнейшим отличием языка Алгол-60 от предшествовавших ему языков, например Фортрана, является строго формальное определение синтаксиса. В официальном описании языка [1] для определения синтаксиса впервые были использованы металингвистические формулы, предложенные Дж. Синтаксис доалго-ловских языков, как правило, не был точно определен. Фактически язык определялся предназначенным для него транслятором, действие которого при трансляции некоторых конструкций языка нельзя было заранее предсказать. [15]