ezoteryczny język programowania

Ezoteryczny język programowania – język programowania tworzony w celu badania i demonstracji niekonwencjonalnych technik programistycznych oraz metod programowania. Zazwyczaj nie jest on przeznaczony do pisania rzeczywistych aplikacji. Języki tego typu są popularne wśród hackerów oraz entuzjastów programowania. Termin ezoteryczny służy do odróżnienia ich od pozostałych języków. Powody, dla których ezoteryczne języki nie nadają się do poważnych zastosowań, to skomplikowane rozwiązania, nadmierne uproszczenie języka lub nieczytelna składnia. Łatwość użycia oraz zrozumienia kodu nie jest priorytetem i często bywa poświęcana na rzecz innych uproszczeń służących do osiągnięcia przyjętych założeń (np. ograniczenie wielkości alfabetu używanego do pisania programu). Najczęstsze cele wybierane podczas projektowania ezoterycznych języków to usunięcie lub zastąpienie jak największej liczby klasycznych konstrukcji programistycznych przy jednoczesnym zachowaniu właściwości zupełności w sensie Turinga. Rozpatrywane są również języki, co do których nie ustalono, do jakiego modelu obliczeń należą.