Programlama dilleri, bilgisayar donanımı fazla bilinmeden program geliştirmeye imkan veren bir kodlama şeklidir. Herbiri farklı bir alana yönelmiş veya genel amaçlı olarak tasarlanmış BASIC, FORTRAN, PASCAL, C, PYHTON vs. gibi adlandırılan birçok programlama dili vardır; bunlar genel olarak üst veya orta düzey programlama dili olarak adlandırılır. En temelde, çalışabilen bir program makina kodunda olmalıdır; mikroişlemci, ancak makina kodundaki komutları çözümler ve yürütebilir. Ancak, makina koduyla program geliştirmek oldukça zor ve zahmetli olduğundan assembly dili ve üst düzey programlama dilleri geliştirilmiştir.

Assembly, altdüzey programlama dilidir; işlemcinin iç yapısının bilinmesini gerektirir. İşlemcinin saklayıcılarını, adresleme modlarını ve saklayıcılar arası veri akışının bilinmesini gerektirir. C, bir orta düzey programlama dilidir ve altdüzey ile üstdüzey programlama dillerinin yeteneklerinin bir araya getirilmesini sağlamıştır denilebilir. Üstdüzey ve ortadüzey programlama dilleriyle tasarlanan bir programın makina kodunu üretmek için derleyici olarak adlandırılan yazılım kullanılır. Her dilin kendine özgü derleyicisi vardır.

Görsel programlama dilleri, kullanıcıya görsel arayüz sunan Windows, Görsel arayüzlü UNIX/LINUX işletim sistemleri üzerinde asıl program kısmına ek olarak görsel arayüz oluşturma olanağı sunan dillerdir.

Çok değişik görsel programlama dilleri geliştirilmiştir. Örneğin, görsel programlama dilleri denildiğinde, ilk akla gelen, Windows için Visual BASIC, Visual C, Visual C++; LINUX için GTK+/GNOME kütüphanesi akla gelir denilebilir.