История создания формальных языков и кодов

  • Коды операций аналитической машины

    Ра́зностная маши́на Чарльза Бэббиджа — механический аппарат, изобретённый английским математиком Чарльзом Бэббиджем, предназначенный для автоматизации вычислений путём аппроксимации функций многочленами и вычисления конечных разностей. Возможность приближённого представления в многочленах логарифмов и тригонометрических функций позволяет рассматривать эту машину как довольно универсальный вычислительный прибор.
  • Period: to

    А. Чёрч и А. Тьюринг разработали математические абстракции

    А. Чёрч и А. Тьюринг разработали математические абстракции — лямбда-исчисление и машину Тьюринга соответственно — для формализации алгоритмов
  • Появились электрические цифровые компьютеры и был разработан язык

    Появились электрические цифровые компьютеры и был разработан язык, который можно считать первым высокоуровневым языком программирования для ЭВМ — «Plankalkül», созданный немецким инженером К. Цузе в период с 1943 по 1945 годы
  • Period: to

    Созданн немецким инженером К. Цузе «Plankalkül»

  • Short Code (Короткий код)

    Один из первых языков программирования высокого уровня из когда-либо разрабатываемых для вычислительных машин. Short Code представляет собой уже не набор машинных кодов, как это было раньше, а полноценные математические выражения, которые затем интерпретируются в машинный код.Вильям Шмидт, А. Б. Тоник, Дж. Р. Логан
  • Появился Алгол

  • Разработан язык ПЛ/1 (NPL)

    Язык ПЛ/1 (NPL) был разработан, как объединение лучших черт Фортрана и Кобола.
  • Period: to

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

    Разработаны основные парадигмы языков программирования, используемые в настоящее время, хотя во многих аспектах этот процесс представлял собой лишь улучшение идей и концепций, заложенных еще в первых языках третьего поколения.
  • Period: to

    Велась разработка языка Си, популярного и по сей день

  • Представление языка Smalltalk

  • Создан Пролог — первый язык логического программирования.

  • В языке ML была реализована расширенная система полиморфной типизации, положившая начало типизированным языкам функционального программирования.

  • Время консолидации

  • Распространение языков, позволяющих создавать сценарии для веб-страниц