Социальный аспект ЯП

Очевидно, что далеко не все абстракции со стр. 339 обеспечены соответствующими языковыми конструктами (и, по-видимому, некоторые никогда не будут обеспечены), но приведенный спектр абстракций дает возможность анализировать конкретный ЯП на предмет развития в нем аппарата определенных абстракций и тем самым судить о ЯП существенно более содержательно. Подчеркнем, что принцип технологичности требует не наивысшего, а оптимального уровня абстракции в соответствии с требованиями к ЯП.

Приведенный на стр. 339 перечень абстракций показывает важность социального аспекта ЯП. Например, абстрагироваться от компьютера - дело творцов ЯП, а вот средства конкретизации обеспечивают реализаторы трансляторов, авторы учебников и т. п. Другими словами, оценка разработанности аппарата абстракции-конкретизации в ЯП выходит за рамки его внутренних свойств, причем это может касаться важнейших для пользователя абстракций.

Свойства ЯП как социального явления (точнее, артефакта) подчеркивает также уже отмеченная изменчивость оценки ЯП, связанная с внешней по отношению к нему человеческой деятельностью - поддержкой, пропагандой, накоплением реализаций и программ, появлением хороших учебников, развитием возможностей аппаратуры и методов реализации, технологии программирования.

Упомянутую абстракцию от программы (от ее реализации, а не спецификации) полезно трактовать не только как абстракцию от программы для ее конечного пользователя, но и как абстракцию от необходимости (и возможности) знать программу для желающего ее развить.

Именно с последней трактовкой связан принцип, который можно назвать принципом защиты авторского права, - ЯП должен способствовать защите авторских интересов создателей программных изделий и, в частности, гарантии качества предоставляемых услуг. Этот принцип мы отмечали еще в связи с Адой, но свое почти идеальное воплощение он нашел в объектно-ориентированном п рограм м и рован ии.

 
Посмотреть оригинал
< Пред   СОДЕРЖАНИЕ ОРИГИНАЛ   След >