LINGUAGGI DI PROGRAMMAZIONE AD ALTO LIVELLO
Linguaggio Macchina (anni '50), linguaggio binario.
Assembly (codici mnemonici corrispondenti alle istruzioni macchina)
Vi sono 3 paradigmi di programmazione principali: Imperativo, Logico e Funzionale (Logico e funzionale sono anche visti come molto simili tra loro, e vengono anche detti 'dichiarativi').
IMPERATIVO LOGICO FUNZIONALE
(Modello calcolo astratto per architettura von Neumann)
FORTRAN “FORmula TRANslation” LISP
(Calcolo Scientifico) 1957 “LISt Processor” 1958
J. Backus (IBM) J. McCarthy
(Lambda Calcolo)
COBOL (Data processing) 1959 “Intelligenza Artificiale”
PASCAL (1970) PROLOG (1971)
(Programmazione PROgramming in LOGic
Strutturata, Blocchi) (Horn Clause Logic) Smalltalk (1972)
Linguaggio O.O. Puro.
Tipi dinamici.
C (1973) ML (1973)
(Programmazione di Sistema. MetaLanguage
UNIX) Controllo tipi polimorfi
Theorem Proving.
ADA (1980)
(Difesa USA-avionica) Gestione eccezioni.
Controllo tipi forte.
C++ (Programmazione O.O.) CLP(X) (1984)
(1983) (Constraint Logic Programming)
Python (1991) Haskell (1990)
Tipi dinamici
Linguaggio di scripting e per bioinformatica.
PHP (1994)
“Hypertext PreProcessor”.
Linguaggio di scripting per
pagine web dinamiche. Maude(1998)-Illinois Curry (1999)-Kiel+Oregon
JAVA (1996) Progr. Logica+Funzionale
