A Programlama Dili, yazılımcıların bilgisayarlara ne yapmaları gerektiğini söylemek için kullandıkları, formal (kurallara bağlı) ve yapılandırılmış bir dildir. Bu diller, algoritmaları yazmak ve bu algoritmaları bilgisayarın anlayabileceği bir forma dönüştürmek için tasarlanmıştır. Örnek olarak Python, Java, C++ gibi dilleri sayabiliriz. A Programlama Dili, herhangi bir özel programlama dilini ifade etmek yerine, genel olarak bu tür dillere verilen isimdir.