Un linguaggio (come il Pascal, Ada, APL, o Prolog) che, nonostante sia general-purpose in apparenza, è progettato in modo da mettere in mostra la teoria di un autore su come sia ‘giusto programmare’ anche quando la suddetta teoria è evidentemente inadeguata per fare hacking di sistema o anche per programmazione general-purpose. Spesso abbreviato in B&D comunque, si può parlare di cose che “hanno natura B&D”. Vedi Pascal; in opposizione, vedi languages of choice.