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.Compare languages of choice.[Jargon File](1996-01-05)