Programmiersprache, die nicht für den praktischen Einsatz, sondern zur Umsetzung (häufig eigenwilliger) Sprachkonzepte gedacht ist.