Che cos'è la programmazione concettuale?
La programmazione concettuale è uno stile di programmazione informatica, noto anche come paradigma di programmazione, che mira a ricreare i concetti nella mente del programmatore il più vicino possibile all'interno del programma stesso. L'idea alla base della programmazione dei concetti è che ogni parte del codice dovrebbe significare qualcosa e dovrebbe rappresentare chiaramente quale azione il programmatore desidera che quel pezzo di codice esegua. Qualsiasi cosa, dal bisogno che un'immagine appaia sullo schermo al voler visualizzare un messaggio di errore quando si verifica un evento, è considerata un concetto. Parti del codice del computer come un punto e virgola che indica a una riga di codice dove terminare non sono concetti perché sono lì solo per aiutare il computer a funzionare e non rappresentano idee dalla mente del programmatore.
Il paradigma della programmazione concettuale non è un linguaggio di programmazione stesso. Piuttosto, è un metodo per valutare altri linguaggi di programmazione per identificare i loro difetti. L'obiettivo finale è rendere il programma fisico per computer il più possibile identico all'idea originale e astratta del programmatore.
Nella programmazione concettuale, il programmatore si concentra sulla semantica e sulla sintassi. La semantica è come dovrebbe comportarsi il programma e la sintassi è come il programmatore immagina che dovrebbe essere scritto. Ad esempio, in un programma Java il codice A + B potrebbe mostrare un'aggiunta tra A e B. Questo programma ha una buona sintassi perché ricorda da vicino il concetto originale di aggiunta del programmatore. Se, tuttavia, al momento dell'esecuzione il programma crea un errore quando si tenta di aggiungere A e B, il programma presenta una semantica scadente perché non produce il risultato previsto.
Durante la scrittura di codice basato su tecniche di programmazione dei concetti, il programmatore determina innanzitutto i concetti che il programma deve funzionare. Se il programmatore stesse creando un calcolatore virtuale, ad esempio, probabilmente immaginerebbe i concetti di poter aggiungere, sottrarre, moltiplicare e dividere. Immaginerebbe anche un modo per inserire i dati, come l'uso di una tastiera e un modo per visualizzare i risultati sullo schermo. Queste idee costituiscono i concetti del programma. Potrebbe anche considerare di che colore e quanto deve essere grande la calcolatrice, ma questi non sono concetti poiché non sono necessari per l'esecuzione dell'applicazione.
Dopo che il programmatore ha finito di mappare i suoi concetti, trova il modo migliore per rappresentare quei concetti nel codice del computer. Cerca di scrivere un codice che corrisponda strettamente alla sua idea in termini di semantica e sintassi. Può usare pezzi di codice preesistente, come A + B, o creare il proprio codice per rappresentare meglio i suoi concetti.
A partire dalla metà del 2011, XL è l'unico linguaggio di programmazione creato sulla base del paradigma di programmazione concettuale. Mira a creare regole di programmazione flessibili e sintassi che corrispondano a come pensa un programmatore. Permette ai programmatori di concentrarsi su ciò che vogliono creare invece di preoccuparsi di elementi non concettuali come la fine di una riga di codice con un punto e virgola.