A language (such as {Pascal}, Ada, APL, or Prolog) that, though ostensibly general-purpose, is designed so as to enforce an author's theory of `right programming' even though said theory is demonstrably inadequate for systems hacking or even vanilla general-purpose programming. Often abbreviated `B&D'; thus, one may speak of things "having the B&D nature". See {Pascal}; oppose {languages of choice}.
[glossary]
[Reference(s) to this entry by made by: {fascist}{HLL}{languages of choice}{Pascal}{toy language}{Turing tar-pit}]