Cтраница 1
Разработчики языков программирования задумались над проблемой создания механизма произвольных типов данных, позволяющего образовать в любой программе такое количество пользовательских типов данных, которое необходимо для удобного решения данной задачи. [1]
Разработчик языка программирования может до некоторой степени выбирать время обнаружения ошибки: при компиляции или при выполнении программы. Вообще говоря, по мере роста избыточности в языках программирования растет и потенциальная возможность обнаружения ошибок при просмотре текста программы. Язык Паскаль задуман так, чтобы при компиляции обнаруживалось максимально возможное число ошибок и, следовательно, в этом языке достаточное количество избыточных элементов. [2]
Разработчику языков программирования я скажу: пока вы не можете поддерживать парадигмы, которые я использую при написании программ, или по меньшей мере поддерживать мое расширение вашего языка до такого, который действительно поддерживает мои методы программирования, я не нуждаюсь в ваших блестящих новых языках; как старый автомобиль или дом, старый язык обладает ограничениями, с которыми я научился уживаться. [3]
Представления разработчиков языков программирования о том, как должны писаться программы, последовательно и целостно отражены в разработанных ими языках программирования. После того как разработка некоторого языка программирования завершена, этот язык программирования стремится к самостоятельному существованию и развитию. Расширяя и развивая этот язык программирования, как правило, стремятся сохранить заложенные разработчиками этого языка программирования представления о том, как должны писаться программы. [4]
По этой причине разработчики языков программирования всегда должны иметь в виду, какие дополнительные усилия потребуется приложить, чтобы реализовать некоторую возможность в разрабатываемом языке программирования при условии, что в нем уже имеется ряд других возможностей. Очень часто эти дополнительные усилия оказывается невозможно оценить без учета контекста. [5]
В некоторых случаях разработчики языков программирования оставляют для последующего изучения основные положения использованной ими философии, а в некоторых случаях остается только догадываться о посылках, которые привели к принятию тех или иных решений в процессе проектирования некоторого языка программирования. [6]
Талант Вирта как разработчика языков программирования дополняется писательским даром. Полученный в результате элегантный и мощный метод описания представляет интерес и сегодня, даже несмотря на то, что восторги относительно Структурного программирования поубавились. [7]
И поэтому вполне естественно, что разработчики языков программирования стремятся вводить такие конструкции в современные языки программирования. Это приводит к введению в современные языки программирования более богатых наборов структур данных, что, вообще говоря, хорошо. Но, к сожалению, это приводит также и к введению в современные языки программирования явно машинно-ориентированных средств вместо того, чтобы вводить в них соответствующие хорошо понимаемые математические абстракции и объекты. [8]
Конкретизация перечисленных выше свойств вычислителя осуществляется разработчиком соответствующего языка программирования. При этом разработчик проблемно-ориентированного языка и разработчик автокода находятся в различных условиях. Первый, опираясь на знание специфики задач и типовых алгоритмов в данной предметной области, фактически порождает вычислителя с необходимыми для этой области свойствами. Второй разработчик уже имеет готового базового вычислителя в виде конкретной ЭВМ с определенными свойствами ее операционной системы, так что перед ним стоят две основные задачи. Во-первых, надо несколько расширить механизмы базового вычислителя, которые, как правило, развиты весьма слабо. [9]
Поскольку авторы глубоко убеждены, что представления разработчиков языка программирования о том, как должны писаться программы, последовательно и целостно отражены в разработанном ими языке программирования - и в выборе набора средств, и в том, как эти средства используются в процессе конструирования программ, то, вообще говоря, нет необходимости в тщательном исследовании всего этого языка программирования с целью выявления соответствующих представлений его разработчиков. Другими словами, представляется возможным выделить определенное подмножество этого языка программирования, отражающее соответствующие представления его разработчиков. Именно такое подмножество произвольного языка программирования авторы назвали ядром этого языка программирования. [10]
Все сформулированные в настоящем разделе критерии имеют прямое отношение к разработке языков программирования, поскольку все они существенно ограничивают полет фантазии разработчиков языков программирования. Наиболее важным с этой точки зрения является следующий аргумент: стоимость создания транслятора с некоторого языка программирования должна находиться в определенном соотношении с преимуществами, предоставляемыми программисту в результате использования этого языка программирования. Это же относится и к возможностям, предоставляемым некоторым языком программирования. [11]
Автор хотел бы еще раз подчеркнуть взаимосвязь между языками программирования и их реализациями: сформулированные выше критерии отражают не что иное, как необходимость глубокого понимания разработчиками языков программирования техники и технологии реализации языков программирования. [12]
Тип данных обладает третьим классом гражданства, если объекты этого типа данных не могут быть использованы вообще. Разработчик языка программирования, планирующий введение в него подпрограмм и меток по первому или второму классу гражданства, сталкивается с двумя основными проблемами: необходимостью обеспечить эффективность и безопасность. [13]
Разработчик языка программирования определяет стандарт, которому нужно следовать при любой его реализации. Этот стандарт должен обеспечить переносимость любой программы, написанной на этом языке. Мобильной или переносимой называется программа, которую без каких-либо изменений можно выполнять на различных вычислительных машинах. [14]
Абстракция является одним из наиболее важных инструментов современного программирования. Выбор разработчиками языка программирования тех или иных механизмов абстракции оказывает сильнейшее влияние на возможность функциональной абстракции и абстракции данных. А это, в свою очередь, определяет способ разработки и реализации ( т.е. способ декомпозиции) большого программного комплекса. [15]