Википедия
Коротко: это языки программирования, разработанные для доказательства потенциально возможной реализации некой идеи, в качестве произведения программного искусства или в качестве шутки (компьютерного юмора).
Например, существуют язык LOLCODE, который использует словарь интернет-сленга, языки Ook! (язык орангутанов) и Moo! (язык парнокопытных), а также язык Var'aq, использующий логику клингонов из сериала «Star Trek».