Хүн төрөлхтөн програмчилж болох анхны төхөөрөмжийг бүтээснээс хойш хоёр мянга гаруй програмчлалын хэлийг бий болгосон. Жил бүр тэдний тоо тогтвортой өсч байна. Эдгээр нь нарийн төвөгтэй техникийн тоног төхөөрөмжийн янз бүрийн төхөөрөмжүүдийн хооронд харилцаа холбоо тогтооход тусалдаг.
Програмчлалын хэл гэдэг нь компьютерийн програм бичихэд ашигладаг албан ёсны дохионы систем юм. Тэд програмын гаднах байдал, компьютерийн хийх ёстой үйлдлүүдийг тодорхойлдог янз бүрийн дүрмийг (lexical, semantic and syntactic) дагаж мөрддөг. Сонгосон хичээлийн талбарт хамгийн тохиромжтой програмчлалын хэлний олон тооны ангиуд байдаг бөгөөд илэн далангүй хошин хэл байдаг. Эдгээрийг эзотерик гэж нэрлэдэг бөгөөд практик хэрэглээнд зориулагдаагүй болно. Жишээлбэл, уран зохиолын синтакс (Шекспир, Тогооч), код бичихэд бэрхшээлтэй болгох зорилгоор бүтээсэн хэл (Malbolge, ALPACA), эсвэл хүнлэг бус логик - Var'aq (Клингоны логикийг ашигладаг хэлүүд байдаг. Star Trek киноны уралдаан). Бусад комик хэлнүүд, гэхдээ комиксоос гадна олон тооны мэргэжлийн хэл байдаг. Одоогийн байдлаар ашиглагдаж байгаа гол анги бол объект хандалтат хэл юм. Энэ бол жижиг програмууд болон том програм хангамжийн системийг бичихэд зориулагдсан өндөр түвшин юм. Энэ ангийн гол төлөөлөгчид нь Java, C #, C ++, Ruby, Python юм. Логик програмчлалын хэлүүдийг бас тэмдэглэх хэрэгтэй. Эдгээр нь парадигмыг нотлох автомат теорем, математикийн логикийн онол дээр суурилдаг. Хамгийн алдартай логик програмчлалын хэл бол Prolog юм. Энэ нь нэгдүгээр эрэмбийн урьдчилсан логикийг ашигладаг. Хэдий олон тооны хэл, тэдгээрийн функциональ байдлыг үл харгалзан програм хангамжийн бүтээгдэхүүнийг бий болгох зөв хэрэгслийг сонгох шаардлагатай байдаг. Жишээлбэл, хэрэв та клиент-серверийн програмыг хэрэгжүүлэх шаардлагатай бол логик хэл нь үүнд тохирохгүй нь ойлгомжтой. Тиймээс даалгаврыг шийдвэрлэхэд хамгийн тохиромжтойг нь сонгох шаардлагатай байна.
