Версии языка

Классификация языков программирования

Требования к языкам

Назначение языков программирования

Общие сведения о языках программирования

Методы и языки программирования

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

Главных требований два: близость ЯП к обычному профессиональному языку определенной сферы человеческой деятельности и простота реализации в ВС. Противоречивость требований стимулирует непрерывный процесс создания новых ЯП и доработки существующих. Но аппаратные средства ЭВМ стремительно совершенствуются (растет быстродействие, расширяются объемы памяти), теория и практика перевода программ с ЯП на язык команд ЭВМ тоже быстро развиваются. В условиях такой динамики фактор удобства программирования постепенно становится доминирующим. Это вызвало появление так называемых языков «сверхвысокого» уровня, самыми характерными из которых можно считать Лисп и Пролог.

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

Машинно-независимые и машинно - ориентированные ЯП. К первым относится большинство распространенных ЯП, ко вторым — микропрограмм системы и языки ассемблера. Языки второй группы позволяют наиболее полно реализовать возможности ЭВМ данного типа, но не пригодны для ЭВМ иных типов; программирование на таких языках более трудоемко.

Универсальные и проблемно - ориентированные ЯП. Арсенал средств первых должен (по крайней мере, так замышлялось при создании этих языков) давать равные возможности для работы с задачами из различных профессиональных сфер. Наиболее характерным примером может служить язык ПЛ/1, который в 1970–80-х годах распространился довольно широко, но из-за большой сложности и малой эффективности использования ресурсов ЭВМ постепенно отошел на задний план. Пример языков второй группы — Фортран (название является аббревиатурой английского наименования «переводчик формул»), ориентированный на научно-технические и инженерные расчеты (в силу своих немалых достоинств Фортран и поныне в ходу). Классификация по этому признаку часто весьма условна.

Процедурные и декларативные ЯП. Первые (их называют также императивными, то есть «повелевающими») предполагают более или менее подробное описание того, что и как нужно сделать для получения результата. К этой группе относят самые распространенные ЯП — Бейсик, Паскаль, Си. Декларативные ЯП описывают не алгоритм решения задачи, а саму задачу, оставляя на «усмотрение» системы программирования этого языка (см. ниже) конкретизацию алгоритма. Пример языков этой группы — Пролог. Язык Лисп обладает чертами тех и других ЯП.

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

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

Дата добавления: 2014-01-05