Whitespace
Il Whitespace è un linguaggio di programmazione esoterico e minimalista, creato nel 2003 da Edwin Brady e Chris Morris. Il nome deriva dal fatto che il linguaggio utilizza solo spazi bianchi, tabulazioni e ritorni a capo come elementi sintattici. Ogni carattere diverso da questi tre viene ignorato e considerato come un commento.
Whitespace divenne famoso quando il suo inventore lo descrisse su Slashdot il primo di Aprile 2003; in questo modo gli utenti pensarono erroneamente a un Pesce d'aprile.
Istruzioni
Whitespace comprende 29 istruzioni, divise in 5 categorie; prima di ogni istruzione bisogna inserire un identificatore che indica a quale categoria appartiene l'istruzione, detto Instruction Modification Parameter o IMP. Alcune istruzioni richiedono un parametro, che può essere un numero o un'etichetta.
I numeri possono essere di qualsiasi lunghezza e sono rappresentati in formato binario tramite una sequenza di [Spazio] e [Tab], terminata con [Ritorno a capo]. Il carattere [Spazio] indica lo 0, il [Tab] indica l'1. Il primo bit del numero indica il segno di quest'ultimo, 0 per positivo e 1 per negativo.
Un'etichetta è invece indicata con una sequenza di [Spazio] e [Tab] a piacere, terminata con [Ritorno a capo]; ogni nome di etichetta deve essere diverso da tutti gli altri.
Gli IMP e le categorie associate ad essi sono:
IMP | Significato |
[Spazio] | Manipolazione dello Stack |
[Tab][Spazio] | Operazioni aritmetiche |
[Tab][Tab] | Accesso casuale alla memoria |
[Ritorno a capo] | Controllo di flusso |
[Tab][Ritorno a capo] | I/O di periferiche |
Manipolazione dello stack
Whitespace è basato su uno stack di dati, accessibile tramite quattro istruzioni distinte dall'IMP [Spazio]:
Istruzione | Significato |
[Spazio] | Mette il numero passato come parametro in cima allo stack |
[Ritorno a capo][Spazio] | Duplica il primo elemento dello stack |
[Tab][Spazio] | Copia l'n-esimo elemento dello stack (n è passato come parametro) in cima allo stack |
[Ritorno a capo][Tab] | Scambia i primi due elementi dello stack |
[Ritorno a capo][Ritorno a capo] | Elimina il primo elemento dello stack |
[Tab][Ritorno a capo] | Spinge n elementi fuori dallo stack (n è passato come parametro), mantenendo intatto il primo elemento |
Operazioni aritmetiche
Le istruzioni aritmetiche, distinte dall'IMP [Tab][Spazio], operano sui primi due elementi dello stack (il primo è considerato essere a sinistra dell'operatore, il secondo a destra), considerandoli numeri interi, e sostituiscono questi due valori con il risultato dell'operazione:
Istruzione | Significato |
[Spazio][Spazio] | Addizione |
[Spazio][Tab] | Sottrazione |
[Spazio][Ritorno a capo] | Moltiplicazione |
[Tab][Spazio] | Divisione intera |
[Tab][Tab] | Modulo della divisione intera |
Accesso casuale alla memoria
Le istruzioni di accesso casuale alla memoria, contraddistinte dall'IMP [Tab][Tab], si occupano di trovare gli indirizzi di dati da memorizzare o recuperare. Per memorizzare un dato, occorre mettere sullo stack prima l'indirizzo, poi il valore del dato; per recuperarlo invece occorre mettere sullo stack l'indirizzo dove lo si è memorizzato:
Istruzione | Significato |
[Spazio] | Memorizza un dato |
[Tab] | Recupera un dato |
Controllo di flusso
Il controllo del flusso del programma (IMP [Ritorno a capo]) è un'operazione frequente in Whitespace come in ogni linguaggio di programmazione; le posizioni delle procedure e dei bersagli dei salti condizionati sono indicati con etichette. I programmi devono terminare con l'istruzione [Ritorno a capo][Ritorno a capo][Ritorno a capo].
Istruzione | Significato |
[Spazio][Spazio] | Dichiara un'etichetta con il nome passato come parametro |
[Spazio][Tab] | Chiama la procedura con il nome dato come parametro |
[Spazio][Ritorno a capo] | Salta all'etichetta passata come parametro |
[Tab][Spazio] | Salta all'etichetta passata come parametro se il valore in cima allo stack è pari a zero |
[Tab][Tab] | Salta all'etichetta passata come parametro se il valore in cima allo stack è negativo |
[Tab][Ritorno a capo] | Termina una procedura e riporta il controllo all'istruzione successiva alla chiamata |
[Ritorno a capo][Ritorno a capo] | Termina il programma |
I/O
Le istruzioni di Input/Output (IMP [Tab][Ritorno a capo]) vengono usate per interagire con l'utente; con esse si possono manipolare numeri interi o caratteri:
Istruzione | Significato |
[Spazio][Spazio] | Esegue l'output del carattere in cima allo stack |
[Spazio][Tab] | Esegue l'output del numero in cima allo stack |
[Tab][Spazio] | Legge un carattere e lo memorizza all'indirizzo in cima allo stack |
[Tab][Tab] | Legge un numero e lo memorizza all'indirizzo in cima allo stack |
Codice esempio
Di seguito un programma che stampa la scritta "Hello World!". Da notare che i caratteri spazio sono stati colorati in modo differente perché altrimenti sarebbero risultati invisibili. (Spazio, Tab)
empty-line empty-line empty-line empty-line empty-line empty-line empty-line/EOF
Altri progetti
Altri progetti
- Wikimedia Commons
Wikimedia Commons contiene immagini o altri file su Whitespace
Collegamenti esterni
- (EN) Sito internet di Whitespace