Programmazione paradigmatica

I linguaggi di programmazione sono raggruppati per paradigmi nello stesso modo in cui le macchine potrebbero essere raggruppate in base a ciò per cui sono utilizzate.

Alcune lingue rientrano in un unico paradigma principale, come ad esempio:

• Smalltalk (orientato agli oggetti)
• Montaggio (imperativo, ma non strutturato o orientato agli oggetti)
• Haskell (funzionale)
• Prolog (logica)

La maggior parte delle lingue, tuttavia, sono in più di un paradigma. Alcune di quelle che si distinguono per averne più di una lo sono:

• Scala (orientata agli oggetti, funzionale, parallela)
• Visual Basic (guidato dagli eventi, orientato agli oggetti)
• Lisp comune (procedurale, funzionale, orientato agli oggetti, meta)
• Schema (funzionale, procedurale, meta)
• Perl (funzionale, procedurale, meta, orientato agli oggetti, guidato dagli eventi)
• Pitone (funzionale, orientato agli oggetti, procedurale)
• Rubino (funzionale, orientato agli oggetti, procedurale)
• Wolfram Language (funzionale, procedurale, generalmente dichiarativo)
• Oz (logica, funzionale, imperativo, orientato agli oggetti)
• F# (funzionale, imperativo, orientato agli oggetti, meta)

Avere più paradigmi non è sempre un bene. Una volta che avere meno paradigmi può essere una buona cosa è quando c'è un linguaggio che è solo funzionale. Una funzione in uno di questi linguaggi a volte funziona meno (come se riguardasse solo le parti di un gruppo di cose di cui ha effettivamente bisogno) di quanto potrebbe essere necessario se il linguaggio fosse anche procedurale.

Molti paradigmi di programmazione sono noti sia per le cose che non lasciano fare alle persone, sia per quelle che lasciano fare alle persone. Una volta questo è vero per i linguaggi funzionali. Quando un linguaggio funzionale è solo o prevalentemente funzionale, di solito non permette effetti collaterali. Un'altra volta in cui questo è vero è la programmazione strutturata: è diversa dai normali linguaggi imperativi perché non permette ai programmatori di usare "goto statements" (dichiarazioni che dicono al programma di andare ad un passo precedente). A causa di questo e di altri motivi, la gente a volte pensa che i nuovi paradigmi non permettano abbastanza cose. A volte va bene che il computer non permetta alle persone di fare cose, però: può aiutare le persone ad evitare problemi con il loro codice, e lasciare che il computer faccia supposizioni in modo da poter eseguire il codice più velocemente, o anche controllare il codice per verificare la presenza di problemi prima che il codice funzioni!

Ad alcune persone che studiano i linguaggi di programmazione non piace che i paradigmi siano usati per raggruppare i linguaggi di programmazione, come Harper e Krishnamurthi. Queste persone dicono che molti linguaggi di programmazione non possono essere raggruppati in paradigmi perché i linguaggi prendono in prestito cose e idee da molti paradigmi.

Nel corso del tempo sono stati creati nuovi paradigmi, e la gente li ha indicati in quel momento, o guardando indietro. Uno dei primi paradigmi che è stato riconosciuto come un nuovo modo di programmare è stata la programmazione strutturata degli anni Sessanta. L'idea di un "paradigma di programmazione" è del 1978, se non prima, quando Robert W. Floyd lo usò durante l'insegnamento. La parola "paradigma", nel modo in cui Robert la intendeva, è stata usata per la prima volta da Thomas Kuhn nel suo libro La struttura delle rivoluzioni scientifiche (1962).

Codice macchina

Il più basso livello (il più vicino a come il computer ama capire le cose) e il più antico paradigma di programmazione è il codice macchina, un paradigma imperativo. Le direzioni nel codice macchina sono solo un insieme di numeri in un certo ordine. Il linguaggio di assemblaggio è un po' meno di basso livello (e un po' meno vecchio). Nel linguaggio assembly, le direzioni per il computer sono date in mnemotecnica (nomi più facili da ricordare), e gli indirizzi di memoria (direzioni per trovare un'informazione nel computer) possono essere dati dei nomi. Questi sono a volte chiamati lingue di prima e seconda generazione.

Negli anni '60, i linguaggi assembly sono stati migliorati aggiungendo nuove cose come la libreria COPY, le macro (bit di codice "speciale" che sono stati trasformati in codice normale prima che il programma iniziasse a funzionare), le procedure in esecuzione (insiemi di direzioni a cui è stato dato un nome e salvati per il futuro), e le variabili (elementi a cui sono stati dati nomi e salvati per il futuro) dall'esterno del programma. Questo permette alle persone di usare un po' di codice in più di un progetto, e di non doversi preoccupare di problemi specifici dell'hardware (problemi che accadono solo su un tipo di computer) grazie a comandi (nomi per le direzioni) come READ/WRITE/GET/PUT.

L'assemblaggio è stato, e a volte lo è ancora, utilizzato in sistemi in cui è importante che il codice sia veloce, ed è anche molto utilizzato nei sistemi embedded perché permette all'utente di avere il controllo esatto di ciò che la macchina fa.

Lingue procedurali

Alla fine degli anni Sessanta, la gente ha iniziato a inventare i linguaggi procedurali. Queste lingue di terza generazione (le prime di quelle che oggi chiamiamo lingue di alto livello) avevano parole legate a ciò che cercavano di risolvere. Per esempio,

• COmmon Business Oriented Language (COBOL) - utilizza parole come file, spostare e copiare.
• FORmula TRANslation (FORTRAN) - utilizza parole e simboli matematici (forme utilizzate nella scrittura e nella battitura). È stata sviluppata principalmente per la scienza e l'ingegneria.
• ALGOrithmic Language (ALGOL) - fatto per gli algoritmi di scrittura (serie di passi che dicono al computer cosa fare). Utilizza parole e simboli matematici, proprio come FORTRAN.
• Linguaggio di programmazione uno (PL/I) - doveva essere utile a tutti.
• Principianti Codice d'istruzione simbolico per tutti gli scopi (BASIC) - fatto per aiutare i programmi per principianti.
• C - un linguaggio di programmazione destinato a fare molte cose. Dennis Ritchie ci ha lavorato dal 1969 al 1973 alla AT&T Bell Labs.

Programmazione orientata agli oggetti

Dopo che molte persone hanno iniziato ad usare i linguaggi procedurali, hanno inventato i linguaggi di programmazione orientati agli oggetti. In questi linguaggi, i dati e i loro "metodi" (modi di manipolare i dati) sono messi in un unico "oggetto". Alcuni programmatori, come Richard Stallman, non sono d'accordo sul fatto che i linguaggi orientati agli oggetti siano migliori per spiegare le idee a un computer rispetto ai linguaggi procedurali.

Poiché la programmazione orientata agli oggetti è un paradigma, non un linguaggio, le persone hanno realizzato linguaggi di assemblaggio orientati agli oggetti come HLA (High Level Assembly).

Paradigmi dichiarativi

Allo stesso tempo, alcune persone stavano realizzando linguaggi di programmazione dichiarativi. Un linguaggio noto per essere dichiarativo è l'SQL (un linguaggio per aggiungere e rimuovere cose dalle tabelle).