Свойства современных языков программирования

Свойства современных языков программирования делятся на 8 частей, и 5 из них являются обязательными в практике.

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

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

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

Структурированными данными являются массивы, множество, записи, таблицы, списки, очереди. Их можно классифицировать на статические и динамические. В первом случае распределение памяти в процессе трансляции, во втором – в процессе счета. Практически любые серьезные вычисления требуют динамических структур данных. Неконтролируемый выход индекса за пределы диапазона вызывает изменение значения некоторой случайной ячейки памяти, что проявляется в самом неожиданном месте программы и трудно диагностируется.