زبان برنامه‌نویسی
تاریخچه‌های برنامه‌نویسی > پالاجگنمتمتم۰ گسترش مثال‌های عمده زبان پرکاربرد امروز را به همراه داشت. با این حال بسیاری از جنبه‌های آن بهینه‌سازی ایده‌های اولیه نسل سوم زبان برنامه‌نویسی بود

ای‌پی‌ال (APL) برنامه‌نویسی آرایه‌ای (Array programming) را معرفی کرد و برنامه‌نویسی کاربردی را تحت تأثیر قرار داد.
PL/i(NPL) دراوایل دهه ۶۰ طراحی شده بود تا ایده‌های خوب فورترن و کوبول را بهم پیوند دهد.
در دهه ۱۹۶۰، سیمولا اولین زبانی بود که برنامه‌نویسی شیء گرا را پشتیبانی می‌کرد، به دنبال آن در اواسط دهه ۱۹۷۰، Smalltalk به عنوان اولین زبان کاملاً شیء گرا معرفی شد.
سی (C) بین سال‌های ۱۹۶۹ تا ۱۹۷۳ به عنوان زبان برنامه‌نویسی سیستمی طراحی شد و در سیستم عامل‌های بسیاری بکار گرفته شد.
پاسکال و بیسیک (که در آینده به زبان ویژوال بیسیک معروف شد) در ابتدا یک زبان آموزشی بودند ولی بعدها با ارائه کامپایلرهای مختلف آن کاربردی شدند.
لیسپ از جمله زبان‌هایی بود که براساس پردازش لیست‌ها کار می‌کرد و برای الگوریتم‌های هوش مصنوعی مناسب بود.
پرولوگ، طراحی شده در ۱۹۷۲، اولین زبان برنامه‌نویسی منطقی بود؛ که برای الگوریتم‌های هوش مصنوعی مناسب بود.
در ۱۹۷۸، ML سیستم نوع چند ریخت روی لیسپ ایجاد کرد، و در زبان‌های برنامه‌نویسی کاربردی ایستا نوع‌گذاری شده پیشگام شد.
هر یک از این زبان‌ها یک خانوادهٔ بزرگ از وارثین خود را به جای گذاشتند، و مدرن‌ترین زبان‌ها، از تبار حداقل یکی از زبان‌های بالا به‌شمار می‌آیند.
دهه‌های ۱۹۶۰ و ۱۹۷۰، مناقشات بسیاری روی برنامه‌نویسی ساخت یافته به خود دیدند، و اینکه آیا زبان‌های برنامه‌نویسی باید طوری طراحی شوند که آن‌ها را پشتیبانی کنند.
«ادسگر دیکسترا» در نامه‌ای معروف در ۱۹۶۸ که در ارتباطات ACM منتشر شد، استدلال کرد که دستور goto باید از تمام زبان‌های سطح بالا حذف شود.
در دهه‌های ۱۹۶۰ و ۱۹۷۰ توسعهٔ تکنیک‌هایی صورت گرفت که اثر یک برنامه را کاهش می‌داد و در عین حال بهره‌وری برنامه‌نویس و کاربر را بهبود بخشید. دسته کارت برای 4GL اولیه بسیار کوچکتر از برنامهٔ هم سطح بود که با 3GL deck نوشته شد
دهه ۱۹۸۰ سال‌های یکپارچگی نسبی بود. C++ برنامه‌نویسی شیء گرا و برنامه‌نویسی سیستمی را ترکیب کرده بود. ایالات متحده ایدا (زبان برنامه‌نویسی سیستمی که بیشتر برای استفاده توسط پیمان کاران دفاعی بود) را استانداردسازی در ژاپن و جاهای دیگر، هزینه‌های گزافی صرف تحقیق در مورد زبان نسل پنجم می‌شد که دارای ساختارهای برنامه‌نویسی منطقی بود. انجمن زبان کاربردی به سمت استانداردسازی ML و Lisp حرکت کرد. به جای ایجاد مثال‌های جدید، تمام این تلاش‌ها ایده‌هایی که در دهه‌های قبل خلق شده بودند را بهتر کرد.
یک گرایش مهم در طراحی زبان در دهه ۱۹۸۰ تمرکز بیشتر روی برنامه‌نویسی برای سیستم‌های بزرگ از طریق مدول‌ها، یا واحدهای کدهای سازمانی بزرگ مقیاس بود. مدول-2، ایدا و ML همگی سیستم‌های مدولی برجسته‌ای را در دهه ۱۹۸۰ توسعه دادند. با وجود اینکه زبان‌های دیگر، مثل PL/i، پشتیبانی بسیار خوبی برای برنامه‌نویسی مدولی داشتند. سیستم‌های مدولی غالباً با ساختارهای برنام من اسمم حمویسی عام همراه شده‌اند.
رشد سریع اینترنت در میانه دهه ۱۹۹۰ فرصت‌های ایجاد زبان‌های جدید را فراهم کرد. Perl، در اصل یک ابزار نوشتن یونیکس بود که اولین بار در سال ۱۹۸۷ منتشر شد، در وبگاه‌های دینامیک متداول شد. جاوا برای برنامه‌نویسی جنب سروری مورد استفاده قرار گرفت. این توسعه‌ها اساساً نو نبودند، بلکه بیشتر بهینه‌سازی شده زبان و مثال‌های موجود بودند، و بیشتر بر اساس خانواده زبان برنامه‌نویسی C بودند.
پیشرفت زبان برنامه‌نویسی همچنان ادامه پیدا می‌کند، هم در تحقیقات و هم در صنعت. جهت‌های فعلی شامل امنیت و وارسی قابلیت اعتماد است، گونه‌های جدید مدولی (mixin، نماینده‌ها، جنبه‌ها) و تجمع پایگاه داده.
۴GLها نمونه‌ای از زبان‌هایی هستند که محدوده استفاده آن‌ها مشخص است، مثل SQL. که به جای اینکه داده‌های اسکالر را برگردانند، مجموعه‌هایی را تغییر داده و برمی‌گردانند که برای اکثر زبان‌ها متعارفند. Perl برای مثال، با «مدرک اینجا» خود می‌تواند چندین برنامه ۴GL را نگه دارد، مانند چند برنامه جاوا اسکریپت، در قسمتی از کد پرل خود و برای پشتیبانی از چندین زبان برنامه‌نویسی با تناسب متغیر در «مدرک اینجا» استفاده کند.
نسل یکم، زبان ماشین است همان زبان صفر و یک.
نسل دوم، زبان‌هایی مانند اسمبلی و مشتق آن هستند که برای انسان قابل فهم‌تر هستند.
نسل سوم، زبان‌هایی مانند کوبول و پی‌ال‌وان و … هستند که دارای دستورهای قابل فهم‌تری برای انسان هستند و به کامپایلرها نیاز دارند.
نسل چهارم، زبان‌هایی مانند اوراکل و فاکس پرو و اس‌کیوال و … هستند و این نسل از زبان‌ها چیزی نزدیک به محاوره‌های انسانی است.
نسل پنجم، زبان‌هایی مانند prolog, ops5، ویژوال بیسیک هستند که تمرکز آن‌ها بر حل مسئله و استفاده از الگوریتم‌های نوشته شده توسط برنامه‌نویس است.