Как известно, для записи и конструирования компьютерных программ используются определенные знаковые системы, которые сформировались в целые системы языков. Они имеют свои собственные правила и особенности, которые формируют внешний вид и функциональность программ, основанных на таких системах.
Программирование существует для задания программам основных целей и алгоритмов их выполнения. Каждый мастер волен делать свой выбор между языками, благо их сейчас тысячи. Вот только некоторые из них разработаны специально для определенного программного обеспечения и доступны только их творцам. Иные же находятся в общем доступе для любого программиста. Ну и наконец, работу с разными языками можно и нужно комбинировать, поскольку это расширяет возможности для создания и оформления программ, а так же их дальнейшего функционирования.
Самыми быстрыми и удобными для работы считаются высокоуровневые языки. Они абстрактны и кратко описывают основные данные и операции с ними. Такие конструкции на более низких уровнях языков будут сложными и очень длинными.
Главная функция таких языков – повсеместное упрощение работы с программами. Для того чтобы обращаться с такими языками используют трансляторы, которые не затрагивают код, но помогают взаимодействовать разным видам программ. Операционная система и оборудование при этом не играют никакой роли.
Вот только простую конструкцию или инструкцию с помощью такого языка кодировать невозможно. Это приводит к ситуации, когда все абсолютно понятно, но средств для выражения своей задумки практически нет. Для ликвидации этого недочета высокоуровневые языки объединяют с низкоуровневыми, просто оставляя место для возможности его работы.
Так же могут быть высокоуровневые декларативные языки программирования без пошаговой установки алгоритмов выполнения заданий. Они больше похожи на автоматические машины для постановки условий выполнения. Такие языка объединяются в группу логических и требуют разрешения на выполнения условия.
Название «декларативные» пошло от разобщения смысла и цели использования каждого семантического оператора в программах. Это тоже служит облегчением для работы в данной среде. Самые знаменитые языки этой группы — SQL и Пролог.
Кроме того, некоторые языки производят диалекты. Например, для Паскаль ими являются UCSD, Turbo и Delphi. На языках высокого уровня работают большие программные продукты. Тот же Дельфи стал основой для Total Commander, QIP, Skype (и всех знаменитых сервисов обмена сообщениями), The KMPlayer, FastStone Image Viewer и многих других программ в самых разных сферах применения. На языке C# разработана элементы операционной системы GNU/Linux, а на C++ работают компоненты Windows.
Для поддержки языков на разных компьютерах используются специальные библиотеки программ. Они скрывают несоответствия, но не повышают возможностей систем. В дальнейшем такие языки будут еще более упрощаться.