Whitespace
Whitespace je humorný ezoterický programovací jazyk vytvořený Edwinem Bradym a Chrisem Morrisem, představený 1. dubna 2003. Veškerá syntaxe jazyka sestává z bílých znaků (mezer, tabulátorů a konců řádek; anglicky se označují jako whitespace, odtud název), veškeré jiné znaky (písmena, čísla, symboly atd.) jsou ignorovány.
Whitespace je imperativní jazyk běžící na virtuálním stroji v podobě zásobníkového počítače vybaveného haldou.
Syntaxe
Program je tvořen posloupností příkazů, z nichž každý sestává z řetězce významných symbolů (mezerník SP, tabulátor TAB, znak konce řádky LF), jiné symboly jsou zcela ignorovány. Před každým příkazem je označení typu příkazu:
| Označení | Typ příkazu |
|---|---|
| SP | Manipulace se zásobníkem |
| TAB SP | Aritmetický příkaz |
| TAB TAB | Práce s haldou |
| LF | Řídící příkazy |
| TAB LF | Vstup/výstup |
Čísla (která se vyskytují jako parametry některých příkazů) mohou být libovolně velká, zadávají se v binárním zápisu jako posloupnost znaků SP a TAB (reprezentující 0, resp. 1) a ukončená znakem LF. První znak určuje znaménko – číslo začínající SP je kladné, číslo začínající TAB je záporné.
Návěští jsou tvořena libovolnou posloupností znaků SP a TAB ukončenou LF. Tyto posloupnosti musí být jednoznačné (nesmí se v programu opakovat).
Instrukce pro práci se zásobníkem
Na zásobník lze ukládat celá čísla libovolné velikosti.
| Příkaz | Parametr | Význam |
|---|---|---|
| SP | Číslo | Uložit číslo na zásobník. |
| LF SP | — | Zduplikovat číslo na vrcholu zásobníku. |
| TAB SP | Číslo | Okopírovat n-tou položku zásobníku na jeho vrchol. |
| LF TAB | — | Zaměnit horní dvě položky zásobníku. |
| LF LF | — | Zahodit vrchní položku zásobníku. |
| TAB LF | Číslo | Zahodit n položek ze zásobníku těsně pod vrchní (tu ponechat). |
Aritmetické instrukce
Ve Whitespace se pracuje pouze s celými čísly, v aktuální verzi nejsou čísla s plovoucí řádovou čárkou podporována.
Aritmetické instrukce provedou zadanou operaci se dvěma vrchními čísly, která ze zásobníku vyjmou, a výsledek uloží na zásobník. První (hlouběji) uložené číslo je považováno za levý operand.
| Příkaz | Parametr | Význam |
|---|---|---|
| SP SP | — | Sčítání |
| SP TAB | — | Odčítání |
| SP LF | — | Násobení |
| TAB SP | — | Celočíselné dělení |
| TAB TAB | — | Zbytek po celočíselném dělení |
Instrukce přístupu k haldě
Halda je adresována celými čísly uloženými na vrcholu zásobníku. Při čtení je adresa na zásobníku nahrazena hodnotou z haldy, při zápisu je adresa a hodnota ze zásobníku přečtena a vyjmuta.
| Příkaz | Parametr | Význam |
|---|---|---|
| SP | — | Zapsat na haldu |
| TAB | — | Přečíst z haldy |
Řídící instrukce
| Příkaz | Parametr | Význam |
|---|---|---|
| SP SP | Návěští | Návěští – označení místa v programu |
| SP TAB | Návěští | Volání podprogramu |
| SP LF | Návěští | Nepodmíněný skok na návěští |
| TAB SP | Návěští | Podmíněný skok – pokud je na vrcholu zásobníku nula |
| TAB TAB | Návěští | Podmíněný skok – pokud je na vrcholu zásobníku záporné číslo |
| TAB LF | — | Konec podprogramu, návrat za volající instrukci |
| LF LF | — | Konec programu (povinná instrukce) |
Instrukce vstupu a výstupu
Whitespace obsahuje instrukce umožňující komunikaci s uživatelem. Instrukce pro vstup ukládají přečtené hodnoty do haldy, na adresu obsaženou na zásobníku.
| Příkaz | Parametr | Význam |
|---|---|---|
| SP SP | — | Vypsat znak na vrcholu zásobníku |
| SP TAB | — | Vypsat číslo na vrcholu zásobníku |
| TAB SP | — | Přečíst znak a uložit ho na adresu uvedenou na vrcholu zásobníku |
| TAB TAB | — | Přečíst číslo a uložit ho na adresu uvedenou na vrcholu zásobníku |