Da quando l'umanità ha inventato il primo dispositivo programmabile, sono stati creati più di duemila linguaggi di programmazione. E ogni anno il loro numero cresce costantemente. Aiutano a stabilire la comunicazione tra vari dispositivi in apparecchiature tecniche complesse.
Un linguaggio di programmazione è un sistema di segni formale utilizzato durante la scrittura di programmi per computer. Obbediscono a diverse regole (lessicali, semantiche e sintattiche) che determinano l'aspetto del programma e le azioni che devono essere eseguite dal computer. Esistono un gran numero di classi di linguaggi di programmazione più adatti all'area tematica scelta, ce ne sono persino di francamente comici. Sono chiamati esoterici e non sono destinati all'uso pratico. Ad esempio, ci sono lingue che hanno sintassi letteraria (Shakespeare, Chef), lingue progettate per rendere difficile la scrittura di codice (Malbolge, ALPACA), o con logica disumana - Var'aq (usa la logica del Klingon gara del film Star Trek). E altri linguaggi comici, ma oltre al fumetto ce ne sono un gran numero di professionisti. La classe principale attualmente utilizzata sono i linguaggi orientati agli oggetti. Questo è un livello alto, pensato per scrivere sia piccoli programmi che grandi sistemi software. I principali rappresentanti di questa classe sono Java, C #, C ++, Ruby, Python. Dovrebbero essere notati anche i linguaggi di programmazione logici. Si basano sul paradigma della dimostrazione di teoremi automatici e sulla teoria della logica matematica. Il linguaggio di programmazione logica più famoso è Prolog. Utilizza la logica dei predicati del primo ordine. Nonostante il gran numero di lingue create e la loro funzionalità, è sempre necessario scegliere gli strumenti giusti per la creazione di prodotti software. Ad esempio, se è necessario implementare un'applicazione client-server, ovviamente un linguaggio logico non è adatto a questo. Pertanto, è necessario scegliere quello più adatto per risolvere il compito.
