Teorik tanımlamaya göre, dil belli bir yapıya, içeriğe ve kullanıma sahip bir iletişim sistemi olarak anlaşılmaktadır. Programlama, bilgisayarın sözlüğünde, bir yazılımın kaynak kodunu yazma prosedürüdür. Bu şekilde, programlamanın bilgisayar programına hangi işlemi yapması gerektiğini ve bunu belirtmenin yolunu söylediği söylenebilir.

Bu kavramların açık bir şekilde ifade edilmesiyle, bir programlama dilinin, belirli bir sözdizimsel ve anlamsal temelde, bir bilgisayar programına farklı talimatlar veren bir yapı olduğunu kabul edebiliriz.

Programlama dilinin kökenini oluşturmaya gelince, şüphesiz, tüm dünyada bilinen ilk bilgisayar programcısı olarak kabul edilen Ada Lovelace'e başvurmak zorundayız. Bu nedenle, yeterince ilginç, Ada programlama dili onuruna konuşuldu. Ve bu rakam, sadece İngiliz bilim adamı Charles Babbage'ın bir makinesi için bir dizi sembolün manipülasyonunu değil, bir bilgisayarın bir dizi başlangıç ​​hesaplamasını yapabilmesi için gerekli talimatların oluşturulmasını da başarmasıdır.

Programlama dili içinde, bu çalışmayı geliştirmeye kendini adamış profesyonellerin, çalışıp amaçlarına ulaşmalarını sağlayan, form ve anlam ifade eden bir dizi unsurla çalışmasını vurgulamak çok önemlidir. Bunların arasında örneğin değişkenler, vektörler, döngüler, kısıtlamalar, sözdizimi veya statik anlambilim olabilir.

En yaygın işlemlerin programlama dizileri, hafızaya alınması kolay adlarla ( ADD veya MUL gibi ) adlandırılmak üzere ilişkilendirildi. Talimatların derlemesine derleme dili denir.

Programlama dili ile bilgisayar dili arasında ayrım yapmak gereklidir. Aslında, HTML'de olduğu gibi programlama dilleri olmayan bilgisayar dilleri vardır (bir biçimlendirme dili ).

Programlama dili, bir bilgisayar ekipmanının hangi verileri çalıştıracağını, bu verilerin nasıl korunacağını veya transfer edileceğini ve belirli durumlarda bilgisayarın hangi talimatları başlatması gerektiğini belirleme becerisine sahiptir.

Tercümanların (başka bir dilde bulunan talimatları uyarlayan programlar) ve derleyicilerin (bir dilden diğerine çeviri yapan programlar) geliştirilmesine yol açan birkaç programlama dili vardır.

Soyutlama seviyelerine göre, makine dili (bilgisayar tarafından doğrudan okunabilen ikili dizelerdir), düşük seviye dili (bir bilgisayarın çalışmasına yaklaşan programlama dili), yarım seviyeli dil (düşük seviyeli dillerle değil, aynı zamanda en gelişmiş dillerle de karakterleri paylaşır) veya yüksek seviyeli dille ( insan dilinin unsurları tarafından oluşturulur).

Birçoğu şu anda teknoloji ve bilgi teknolojisi pazarında mevcut dillerdir. Ancak en önemlilerinden Pascal, Visual Basic, SQL, Delphi, Lingo, Cobol, HTML veya Java'dan bahsedebiliriz. Örneğin sonuncusu, 1995 yılında bilgisayar bilimcisi James Gosling tarafından geliştirildiği ve nesne yönelimli olması nedeniyle karakterize edilir.

Bu arada, yukarıda belirtilen HTML dili, web sayfalarını oluşturmak için kullanılan dil olduğundan bugünün en önemlilerinden biri olduğunu söyleyebilir.