Podľa na teoretické definície, ako jazyk sa rozumie systém v komunikácii, ktorý má zvláštnu štruktúru, obsah a použitie. Programovanie je v slovníku na počítači, proces písania zdrojového kódu o softvéri. Týmto spôsobom možno povedať, že programovanie povie počítačovému programu, aké činnosti musí vykonať a ako sa má vykonať.
S týmito jasnými pojmami môžeme potvrdiť, že programovací jazyk je štruktúra, ktorá s určitou syntaktickou a sémantickou základňou dodáva počítačovému programu odlišné pokyny.
Pri určovaní pôvodu programovacieho jazyka musíme bezpochyby odkázať na Adu Lovelaceovú, ktorá je považovaná za prvého známeho počítačového programátora na svete. Je teda zvláštne, že sa na jeho počesť hovoril programovacím jazykom Ada. A to je to, že toto číslo uskutočňovalo nielen manipuláciu s radom symbolov pre stroj britského vedca Charlesa Babbagea, ale aj dosiahnutie potrebných pokynov, aby počítač mohol vykonávať sériu počiatočných výpočtov.
V rámci toho, čo je programovací jazyk, je veľmi dôležité zdôrazniť, že odborníci, ktorí sa venujú jeho vývoju, pracujú so súborom prvkov, ktoré mu dávajú tvar a význam, tými, ktoré im umožňujú pracovať a dosahovať svoje ciele. Patria sem napríklad premenné, vektory, slučky, kondicionéry, syntax alebo statická sémantika.
Tieto programovacie sekvencie pre väčšinu bežných činností boli spojené sa bude volať sa ľahko-to-zapamätanie mien (ako ADD alebo MUL). Súbor inštrukcií sa nazýva montážny jazyk.
Je potrebné rozlišovať medzi programovacím jazykom a počítačovým jazykom. Existujú počítačové jazyky, ktoré v skutočnosti nie sú programovacie jazyky, ako je to v prípade HTML (značkovací jazyk).
Programovací jazyk má schopnosť presne určiť, s akými údajmi musí počítačové vybavenie pracovať, ako sa tieto údaje musia uchovávať alebo prenášať a aké pokyny musí počítač za určitých okolností spustiť.
Existuje niekoľko programovacích jazykov, čo viedlo k rozvoju tlmočníkov (programy, ktoré prispôsobujú pokyny nájdené v inom jazyku) a kompilátorov (tie programy, ktoré prekladajú z jedného jazyka do druhého).
Podľa úrovne abstrakcie hovorí o strojovom jazyku (ide o binárne reťazce, ktoré sú čitateľné priamo pomocou počítača), o jazyk nízkej úrovne (programovací jazyk, ktorý pristupuje k prevádzke počítača), stredný jazyk (zdieľa charakteristiky s jazykmi nízkej úrovne, ale aj s pokročilejšími jazykmi) alebo jazyk vysokej úrovne (tvorený prvkami ľudského jazyka).
Mnoho jazykov je v súčasnosti dostupných na trhu technológií a výpočtovej techniky. Medzi najdôležitejšie však patrí Pascal, Visual Basic, SQL, Delphi, Lingo, Cobol, HTML alebo Java. Napríklad posledný uvedený je charakteristický tým, že bol vyvinutý v roku 1995 počítačovým vedcom Jamesom Goslingom a pretože je objektovo orientovaný.
Medzitým vyššie uvedený jazyk HTML dokážeme dokázať, že je to jeden z najdôležitejších dnes, pretože sa používa na vývoj webových stránok.