Whitespace je humornýezoterickýprogramovací jazyk vytvořený Edwinem Bradym a Chrisem Morrisem, představený1. dubna2003. Veškerásyntaxe jazyka sestává zbílých znaků (mezer, tabulátorů a konců řádek; anglicky se označují jakowhitespace, odtud název), veškeré jiné znaky (písmena, čísla, symboly atd.) jsou ignorovány.
Whitespace jeimperativní jazyk běžící navirtuálním stroji v podobězásobníkového počítače vybavenéhohaldou.
Program je tvořen posloupností příkazů, z nichž každý sestává z řetězce významných symbolů (mezerníkSP, tabulátorTAB, znak konce řádkyLF), 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 aTAB (reprezentující 0, resp. 1) a ukončená znakemLF. 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 aTAB ukončenouLF. Tyto posloupnosti musí být jednoznačné (nesmí se v programu opakovat).
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írovatn-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 | Zahoditn položek ze zásobníku těsně pod vrchní (tu ponechat). |
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í |
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 |
| 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) |
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 |
Obrázky, zvuky či videa k tématuWhitespace na Wikimedia Commons