bondage-and-discipline language n.
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....
bondage-and-discipline language: 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....