Dahil sa oras na ang sangkatauhan ay nagmula sa unang nai-program na aparato, higit sa dalawang libong mga wika sa programa ang nilikha. At bawat taon ang kanilang bilang ay patuloy na lumalaki. Tumutulong ang mga ito upang maitaguyod ang komunikasyon sa pagitan ng iba't ibang mga aparato sa mga kumplikadong kagamitan na panteknikal.
Ang isang wika ng programa ay isang pormal na sistema ng pag-sign na ginagamit kapag sumusulat ng mga programa sa computer. Sinusunod nila ang iba`t ibang mga patakaran (lexical, semantic at syntactic) na tumutukoy sa hitsura ng programa at mga aksyon na dapat gampanan ng computer. Mayroong isang malaking bilang ng mga klase ng mga wika ng pagprograma na pinakaangkop para sa napiling lugar ng paksa, kahit na may lantaran na mga comic. Ang mga ito ay tinatawag na esoteric at hindi inilaan para sa praktikal na paggamit. Halimbawa, may mga wikang mayroong syntax sa panitikan (Shakespeare, Chef), mga wikang idinisenyo upang pahirapan na magsulat ng code (Malbolge, ALPACA), o may hindi makataong lohika - si Var'aq (gumagamit ng lohika ng Klingon karera mula sa pelikulang Star Trek). At iba pang mga comic na wika, ngunit bukod sa comic mayroong maraming bilang ng mga propesyonal. Ang pangunahing klase na kasalukuyang ginagamit ay mga wika na nakatuon sa object. Ito ay isang mataas na antas, na inilaan para sa pagsusulat ng parehong maliliit na programa at malalaking mga system ng software. Ang pangunahing mga kinatawan ng klase na ito ay Java, C #, C ++, Ruby, Python. Dapat ding pansinin ang mga lohikal na wika ng programa. Ang mga ito ay batay sa awtomatikong teorama na nagpapatunay ng paradaym at batay sa teorya ng matematika na lohika. Ang pinakatanyag na wika ng programa sa lohika ay Prolog. Gumagamit ito ng first-order predicate na lohika. Sa kabila ng maraming bilang ng mga wika na nilikha at ang kanilang pag-andar, palaging kinakailangan na pumili ng mga tamang tool para sa paglikha ng mga produktong software. Halimbawa, kung kailangan mong magpatupad ng isang application ng client-server, kung gayon, malinaw naman, ang isang lohikal na wika ay hindi angkop para dito. Samakatuwid, kinakailangan upang piliin ang isa na pinakaangkop para sa paglutas ng gawain.
