I linguaggi di programmazione. Una spiegazione semplice direttamente dal passato

Autore: Carlo Denza

Qual è la migliore definizione per la creatività degli informatici? Possiamo considerarli come  i moderni sciamani, creano universi, invocano routine, modellano ed eseguono con rituali arcaici linguaggi fortemente tipizzati e con esotiche espressioni.

Il 29 Ottobre 2022, all’età di 100 anni, ci lascia un autorevole figura della Storia dell’Informatica. Kathleen Britten nasce in Inghilterra il 9 luglio 1922. Studia alla University of London dove consegue la laurea in matematica con successivo dottorato di ricerca in matematica applicata.

Christmas Sale -40% 𝗖𝗵𝗿𝗶𝘀𝘁𝗺𝗮𝘀 𝗦𝗮𝗹𝗲! Sconto del 𝟰𝟬% 𝘀𝘂𝗹 𝗽𝗿𝗲𝘇𝘇𝗼 𝗱𝗶 𝗰𝗼𝗽𝗲𝗿𝘁𝗶𝗻𝗮 del Corso "Dark Web & Cyber Threat Intelligence" in modalità E-Learning sulla nostra Academy!🚀 Fino al 𝟯𝟭 𝗱𝗶 𝗗𝗶𝗰𝗲𝗺𝗯𝗿𝗲, prezzi pazzi alla Red Hot Cyber Academy. 𝗧𝘂𝘁𝘁𝗶 𝗶 𝗰𝗼𝗿𝘀𝗶 𝘀𝗰𝗼𝗻𝘁𝗮𝘁𝗶 𝗱𝗲𝗹 𝟰𝟬% 𝘀𝘂𝗹 𝗽𝗿𝗲𝘇𝘇𝗼 𝗱𝗶 𝗰𝗼𝗽𝗲𝗿𝘁𝗶𝗻𝗮. Per beneficiare della promo sconto Christmas Sale, scrivici ad [email protected] o contattaci su Whatsapp al numero di telefono: 379 163 8765. Supporta Red Hot Cyber attraverso:  L'acquisto del fumetto sul Cybersecurity Awareness Ascoltando i nostri Podcast Seguendo RHC su WhatsApp Seguendo RHC su Telegram Scarica gratuitamente “Byte The Silence”, il fumetto sul Cyberbullismo di Red Hot Cyber Se ti piacciono le novità e gli articoli riportati su di Red Hot Cyber, iscriviti immediatamente alla newsletter settimanale per non perdere nessun articolo. La newsletter generalmente viene inviata ai nostri lettori ad inizio settimana, indicativamente di lunedì.

Dopo aver studiato alcuni documenti di laboratorio redatti da  Burks, A.W., Goldstine, H.H. e John von Neumann nel 1946 alla Birkbeck University di Londra, in quello che oggi è chiamato Dipartimento di Scienza e Sistemi Informativi. 

Viene progettata una macchina di tipo von Neumann ARC(Automatic Relay Calculator) utilizzando dei relè molto veloci della Siemens disponibili in Europa. La Kathleen oltre a costruire l’hardware, scrisse tutto il software per le macchine ARC2 e SEC, inventando quello che in seguito sarebbe stata conosciuto come linguaggio di programmazione  assembly.

Termini e Linguaggi

Ma cosa intendiamo per linguaggio di programmazione?

Con linguaggio di programmazione si intende esprimere un processo con il quale, mediante un programma e un processore si ha la possibilità di eseguire un algoritmo o più semplicemente di risolvere un problema. Dove, con processore intendiamo la macchina che eseguirà il processo descritto dal programma. Con il termine  processore non bisogna intendere un processore in sé stesso, ma un architettura di elaborazione.

Un altra importante caratteristica dei linguaggi è quella di riconoscere, come linguaggi di programmazione, solo quelli computazionalmente completi. Per linguaggi computazionalmente completi intendiamo un linguaggio di programmazione equivalente in potere espressivo al linguaggio macchina di Turing e che non riescono ad esprimere anche programmi di cui non è decidibile la terminazione; Ad esempio SQL non è un linguaggio completo perché si può sempre dire quando termina il programma. Quindi per definizione si definisce completo un linguaggio in grado di simulare arbitrarie macchine di Turing.

Linguaggi di programmazione

Nella seppur “recente” storia dell’informatica possiamo annoverare decine, centinaia, forse migliaia di linguaggi di programmazione. Sebbene molti di essi sono caduti in disuso o sono stati dimenticati, hanno comunque influenzato o avuto un peso nella nascita di quelli moderni.

Orientarsi in questo maremagnum di linguaggi, non è semplice, riconoscerne somiglianze e differenze è afferrarne il language design è ancora più complicato. Ma presentando alcuni di quelli che possiamo considerare i progenitori dei linguaggi di oggi, si può riconoscere e capire alcuni dei più importanti concetti che hanno introdotto.

Alcuni Linguaggi e caratteristiche

• Fortran: Pensato per la manipolazione algebrica, ha introdotto tre le altre cose, le variabili, il concetto di tipo, subroutine, go to, iterazioni e statement condizionali;
• Cobol: Ha una sintassi English Like abbastanza verbosa, infatti ci si era iniziati a porre il problema di come rendere i linguaggi più facili da usare;
• Lisp: E’ stato il primo vero linguaggio di manipolazione simbolica. Paradigma funzionale, nella prima versione essenzialmente non tipata;
• Prolog: Il prolog è stato molto innovativo ed è il principale liguaggio di programmazione a paradigma logico;
• Pascal: programmazione strutturata, tipi di dato definiti da un utente, ricchezza di strutture dati. Ma ancora niente encapsulation; si dovrà aspettare Modula.

Paradigmi computazionali

Possiamo intendere come paradigma computazionale, uno stile di programmazione. Uno stile sostanziale di programmazione che include tutti gli strumenti teorici forniti da un linguaggio per la stesura del codice sorgente di un programma.

Definisce così, il modo in cui il programmatore concepisce e identifica il programma. Esistono diversi paradigmi di programmazione. Il paradigma non è il solo e unico aspetto determinante in un linguaggio, ma è certo che la scelta di un determinato  paradigma computazionale influenza la maniera in cui si risolve un problema.

Seguici su Google News, LinkedIn, Facebook e Instagram per ricevere aggiornamenti quotidiani sulla sicurezza informatica. Scrivici se desideri segnalarci notizie, approfondimenti o contributi da pubblicare.

Carlo Denza

Diplomato in informatica, e come perito elettronico. Ha frequentato il Corso di Studio in Informatica presso la facoltà di Scienze MM.FF.NN. alla Federico II di Napoli. Dopo un corso in Java, collabora allo sviluppo di un applicazione web per servizi nell’ambito sanitario. Pubblica un pamphlet, una raccolta di articoli a carattere divulgativo.