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

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

Pascal— один из самых распространенных языков программирования. По этой причине он представлен множеством диалектов и версий. Первый Pascalбыл предложен Н. Виртом (N. Wirth) в ответ на принципиальное несогласие с позицией руководства рабочей группы по созданию Алгола 68, в частности с Ван Вейнгаарденом. Главное в критике Вирта — чрезмерная сложность языка и особенно метода его формального описания.

Одной из побудительных причин создания языка стало осознание строй­ной концепции системы типов, вычисляемых статически, т. е. во время трансляции программы. Рассуждения о типах языка Pascal можно попы­таться реконструировать следующим образом. Если базовая машина допус­кает произвольную трактовку смысла хранимых значений (принцип одно­родности памяти), а для человека смысл значений первичен для понимания программы, то в программе нужно фиксировать типы значений, а не только вычисления. В результате появится возможность смыслового контроля про­граммы, отделенного от обработки данных. Что для этого нужно? Прежде всего определить типы строго и дать точные механизмы построения одних типов через другие. Нужно такое определение, которое позволяет, не зная о конкретных значениях переменных, входящих в выражение, определять тип выражения. В первом приближении тип отождествляется с множеством его значений, а построение требуемых в программе множеств возлагается на транслятор. В результате целый ряд потенциальных ошибок в программе может быть выявлен при трансляции.

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

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама