Участник:Be nt all/Дизайн языков программирования/Что такое язык программирования
Что же такое язык программирования? Если не погружаться в Эмпиреи[1], ответ очевиден. Язык программирования — это то, на чём пишут программы. Остаётся только один вопрос — а что же такое программа? Это текст на языке программирования, конечно (шутка). Ну а если серьёзно, что-же отличает программу от стихотворения, учебника или законопроекта? Если немного подумать, на этот вопрос тоже не так сложно ответить. Тем что программа строго определяет те или иные действия, которые должны быть выполнены в зависимости от тех или иных условий. Из вышеперечисленных текстов к программе ближе всего юридический закон, но он-то как раз строгостью не отличается[2].
Теперь попробуем дать более чёткие определения:
Программа — это некая символическая запись, однозначно определяющая некую абстрактную деятельность.
Эту самую деятельность мы обычно называем вычислением (англ. computing), но это, скорей, просто дань традиции — будет преувеличением сказать, что современные компьютеры вычислениями не занимаются, но это отнюдь не всё, что они делают. И понимание языка программирования — это тоже действие, определяемое программой. И такой язык тоже отличают строгость и однозначность. Если говорить совсем строго, то:
Язык программирования — это набор правил, определяющий допустимые в программе символьные последовательности и их соответствие тем или иным действиям.
А практический смысл всё это приобретает, когда «некую абстрактную деятельность» выполняет некое автоматическое устройство. Тот самый компьютер, с экрана которого вы, вероятно, читаете этот текст. Если тот или иной компьютер способен выполнять программу на том или ином языке, мы говорим, что язык реализован на данном компьютере.
Предмет этого курса, это то, какие бывают языки и как их можно реализовать.