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

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

При спецификации как параметровзначений и параметровпеременных, так и параметровпроцедур задается информация о типах, которая исполь­зуется при контроле соответствия фактических и формальных параметров. Тем не менее, в синтаксисе стандартного языка Pascal представлено явное разграничение между этими двумя видами описания параметров. Разработ­чики Turbo Pascal и Delphi предпочли отойти от указанного разграничения и приблизить оформление параметровпроцедур к виду других параметров. Причины тому связаны со стремлением к более гибким, по сравнению со стандартным языком Pascal, средствам манипулирования операционными сущностями программ. В результате описанные выше средства параметри­зации изобразительно отличаются от тех, которые предлагаются в Delphi, в языке ObjectPascal.

Следует, однако, заметить, что на уровне семантики передачи процеду­рам алгоритмов в качестве параметров модели вычислений стандартного и ObjectPascalпочти совпадают. Их различия не касаются назначения и механизмов передачи параметровпроцедур, они связаны лишь с тем, что в Turbo Pascal и ObjectPascalпроцедурам и функциям пытаются придать смысл значений так называемых процедурных типов. Язык допускает опре­деление переменных таких типов и, следовательно, присваивание им 'алго­ритмических' значений: тел процедур и функций, и уже, как следствие, он избавляется от специального определения таких конструкций, как формаль­ный параметрпроцедура, спецификация формальных параметровпроцедур и формальных параметровфункций.

Попытка переноса спецификации параметровпроцедур и параметров функций на уровень типовой информации наиболее последовательно про­водится в языке Алгол 68, где декларируется, что подпрограмма есть (ис­полняемое) значение процедурного или функционального типов (видов — в терминологии языка). В развитии Pascalподобное средство, представлен­ное в Turbo Pascal и Delphi, связывается с возможностью использования описаний такого рода:

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама