Непейвода Н.Н. Программирование. Раздел 4

Непейвода Н.Н. Программирование. Страница 393

Перечислим другие трудности, связанные с проблемой перехода от тео­ретической осуществимости к практической реализации:

не получается разработать удобный для практики язык спецификаций типов данных;

конструкторы абстрактных типов довольно громоздки;

• не удается описать поведение объектов типа в зависимости от дина­мики вычислительного процесса.

В методологическом плане требования концепции абстрактных типов данных положительно повлияли на систему типов данных в языках про­граммирования и в программах. К примеру, современные системы типов языков программирования часто стремятся строить уже не в привязке к базовым средствам конкретных вычислителей, а на основе математически (или системно и логически) обоснованной системы понятий, которая уже затем трансформируется в понятия языка конкретного вычислителя. Дале­ко не всегда такая трансформация проходит безболезненно, но всетаки она дает возможность добиться резкого повышения качества программ, если рассматривать их как элементы всей системы человеческой деятельности.

Абстрактную точку зрения на понятие типа данных следует рассматри­вать как средство декомпозиции задач. Но это средство высокого уровня. Даже описать поведение объекта полностью независимо от представления нельзя без высокой логикоалгебраической культуры. Только тогда можно получить абстрактное представление такое, чтобы любая его реализация, удовлетворяющая спецификации, гарантировала бы корректность использо­вания.

Кроме того, если говорить о спецификации, которая описывает не только математические свойства, но и требования к эффективности, то нынешняя теория еще только начинает заниматься подобными вопросами, и поэтому связь ресурсных требований с абстрактным представлением остается де­кларативной, описанной так же нестрого, как семантика в традиционных описаниях языков программирования. Выбор конкретного представления, которое должно удовлетворять ресурсным требованиям, вступает в проти­воречие с высокоуровневыми операциями, никак не связанными при ны­нешнем их понимании ни с памятью, отводимой под объекты, ни с време­нем исполнения. Эта сторона спецификаций остается тем, что очень трудно проверить.

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие "Крокодилы"

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама