История
Первый язык программирования высокого уровня - Планкалькюль ( нем. Plankalkül ) спроектировал немец Конрад Цузе в 1945 году, но она не имела компьютерной реализации и не получила внимания, хотя имела очень мощные для того времени возможности. В конце 40-х - начале 50-ых применялись интерпретированы системы кодирования, когда определенные команды языка программирования кодировались числами, которые уже интерпретировались машинным кодом. Эти системы назывались «автоматическим программированием», были простыми для программирования, чем машинные коды, но могли иметь значительно меньшее (до 50 раз) быстродействие, через что часто предпочитали машинным кодам. К таким системам относились - Short Code для BINAC ( 1949 ) и UNIVAC I ( 1952 ), Speedcoding для IBM 701, разработанная Джоном Бэкуса в 1954.
Первой широкоупотребляемой скомпилированной языком стал разработанный группой Джона Бэкуса Фортран, анонсированный в 1954 году и выпущен в 1957 для IBM 704. Основным назначением Фортрана были быстрые научные вычисления, объявлялось что быстродействие сгенерированного компилятором кода почти не отличалось от машинного кода написанного вручную. Уже в апреле 1958 около половины программ для IBM 704 были написаны на Фортране. Выпущенный в 1958 году Фортран II позволял независимую компиляцию подпрограмм, что позволило создавать большие программы, поскольку низкая надежность IBM 704 не позволяла собрать без сбоев большую программу (более 300-400 строк) сразу. Разработанный в +1960 - одна тысячу девятьсот шестьдесят два годах Фортран IV был одной из самых распространенных языков того времени и оставался стандартной версией Фортрана к появлению в 1978 году Фортрана 77.
В 1958 году в MIT разработали LISP - первый функциональный язык, который более четверти века доминировала в программировании задач искусственного интеллекта.
В конце 1950-ых начали разрабатываться различные языки программирования. В 1958 году ряд крупных групп компьютерных пользователей в США, включая SHARE - группу ученых-пользователей IBM и USE (UNIVAC Scientific Exchange, группа ученых-пользователей UNIVAC) предложили ACM учредить рабочую группу по созданию универсального языка программирования. Также еще в 1955 году немецкое Общество прикладной математики и механики ( GAMM ) учредило комитет по созданию универсального языка программирования. В конце мая 1958 года было проведена встреча в Цюрихе между ACM и GAMM, на материалах которого в декабре опубликовано ALGOL 58 Report. На его основе было создано 3 значительные реализации - MAD ( 1961 ), NELIAC ( 1963 ), JOVIAL ( 1963 ). Из них лишь JOVIAL получил распространение, став на четверть века официальным языком программирования в Военно-морских силах США. SHARE и IBM начали создание собственной реализации ALGOL, но прекратили, учтя затраты на создание и продвижение Фортрана.
На протяжении 1959 года ALGOL 58 широко обсуждался, была предложена нотация для описания синтаксиса языков программирования - форма Бэкуса-Наура. В 1960 проведена очередная встреча и опубликован ALGOL 60 Report. ALGOL повлиял на многие языки программирования и стал стандарному языке для публикации алгоритмов, но по ряду причин не получил широкого распространения - он был слишком сложным, и не было реализаций, которые поддерживали его полностью, отсутствие стандартного ввода-вывода привела к появлению различных несовместимых реализаций, некоторые неоднозначности описания языка так и не нашли решения. Также широкого потребления уже приобрел Фортран, и IBM не поддержала ALGOL.
В 1959 году была проведена встреча в Пентагоне для создания языка CBL (Common Business Language), основан комитет по его созданию, и в 1960 опубликован начальную спецификацию COBOL 60, который вскоре стал первым языком принятой в Министерстве обороны США. В 1968 году COBOL был стандартизирован ANSI.
В 1964 году была создана упрощенная язык BASIC (Beginners All-purpose Symbolic Instruction Code) для обучения программированию студентов, преимущественно специализировались в свободных искусствах, а не технических науках.
Тогда как ученые преимущественно использовали Фортран, а бизнес - COBOL, в 1963 году в IBM решили создать универсальные платформу IBM/360 и язык программирования. В сжатые сроки к 1965 году был разработан язык PL / I, сочетающей возможности Фортран, ALGOL и COBOL, и оказалась очень сложным, хотя и была в широком употреблении в 1970-м в научных и бизнес задачах, также ее подмножества ( PL / C, PL / CS ) использовались для обучения программированию.
В начале 1960-ых были созданы первые языки с динамической типизацией - APL и SNOBOL.
SIMULA 67 была первой объектно-ориентированным языком программирования.
В 1965 году Никлаус Вирт и Тони Хоар запронувалы комитета по развитию языка ALGOL свою версию, которую впоследствии назвали ALGOL-W и применяли для обучения в некоторых университетах. Предложение было отклонено из-за незначительного количества изменений, в пользу более сложное ALGOL 68. В ALGOL 68 появились определения структур данных и динамические массивы. ALGOL 68 стал первым языком с формальной спецификации, которая однако была сложной для понимания.
В 1971 году Вирт опубликовал описание языка Pascal, которая в 70-х стала общеупотребительной для обучения студентов.
В 1972 году Денис Ричи разработал в Bell Labs язык C. Тогда же в Марселе создан интерпретатор языка Пролог - первой и самой известной речи логического программирования. Алан Кейв Xerox PARC разработал первую широко применяемую объектно-ориентированный язык - Smalltalk.
в 1973 Робин Милнер в Эдинбургском университете создал ML.
В 1975 году в Массачусетском технологическом институте описано упрощенный диалект языка Лисп - Scheme.
В 1976 выпущено язык для статистического программирования S, на базе которой в 1993 году создано R.
В 1977 году выпущено Bourne shell.
В 1975 Министерство обороны США создало международную группу для создания нового языка программирования для собственных нужд, конкурс в 1979 выиграла язык Ада.
В 1981 выпущено DBASE II.
В 1984 году с целью объединения различных диалектов Лиспа создан Common Lisp. Выпущено MATLAB
В 1985 году Бьярни Страуструп опубликовал реализацию языка C++. Тогда же выпущено AWK.
В 1986 году опубликована речь Objective-C и создан Erlang. Тогда же Borland и Apple независимо создали объектно-ориентированное расширение языка Pascal - Object Pascal.
В 1987 году создан Perl.
В 1990 году опубликован Standard ML и Haskell.
В 1991 году создан Visual Basic и опубликован Python.
В 1992 выпущен Oracle 7 с поддержкой PL / SQL
В 1993 году создан Lua.
В 1995 году Sun Microsystems выпустила Java, Netscape - JavaScript, тогда же создан PHP и Ruby.
В 1996 году создан OCaml.
В 2001 году создан C#.
В 2002 году создано F#.
В 2003 году создано Scala.
