Un limbaj de programare este o tehnica de comunicare standardizata pentru transmiterea de instructiuni catre un computer. Un limbaj de programare are definite un set de reguli sintactice si semantice. Un limbaj da posibilitatea programatorului sa specifice cu ce fel de date va lucra computerul si ce actiuni va executa acesta in anumite situatii precizate.

Limbaje generale

Limbaje care pot fi folosite (cel putin teoretic) in scrierea oricarui tip de programe: BASIC(Quick Basic, GW-BASIC, Visual Basic), C, C++, C#, Clips, Cobol, Fortran, Haskell, Java, JavaScript, LISP, Pascal(si Object Pascal, folosit de Borland Delphi), Perl, PHP, Prolog, Python, Ruby, Seed7, Scriptol, Tcl/TK, CSS, XHTML.

Limbaje specifice

Limbaje cu o tinta bine definita - de obicei folosite pentru interactiunea cu un anumit program sau sistem: ActionScript(limbajul de scripting folosit de Macromedia Flash), FoxPro, MIVA SCRIPT, SQL (pentru interactiunea cu bazele de date relationale).

Pentru executarea unui program scris intr-un limbaj oarecare, exista, in principiu, doua abordari: compilare sau interpretare.

Unele limbaje se preteaza bine la compilare; de exemplu limbajele clasice: Pascal, Fortran, C. Alte limbaje su nt in mod predilect interpretate, de ex. BASIC, PHP, SQL. Multe limbaje moderne combina compilarea cu interpretarea: codul sursa este compilat intr-un limbaj binar numit bytecode, care la rulare este interpretat de catre o masina virtuala. De remarcat faptul ca unele interpretoare de limbaje pot folosi compilatoare just-in-time, care transforma codul in limbaj masina chiar inaintea executarii.