Mnogi dosežki teorije programskih jezikov so slabo znani in se le počasi širijo v računalniško prakso. Tako programerji sploh ne poznajo orodij, ki so jim na voljo, ali pa jih zaradi popularnih govoric in zastarelega znanja zavračajo. Po drugi strani programski jeziki, ki se uporabljajo v praksi (C/C++, Java, Perl, Python), vsebujejo nepravilno in polovičarsko implementirane konstrukte, industrija pa jih "izboljšuje" z lepotnimi predelavami in vsiljevanjem objektnega programiranja kot dokončne rešitve vseh programerskih težav.

V mali šoli teorije programskih jezikov bomo govorili o osnovnih principih programskih jezikov in o osnovnih programskih konstruktih, kot so produkti, vsote, funkcije, polimorfizem, vzorci, moduli, funktorji, itn. Vso teorijo bomo podprli s primeri iz znanih programskih jezikov, ko pa le-ti ne bodo zadoščali, bomo pokazali primere iz programskega jezika Ocaml.