bondage-and-discipline language

名詞

表向きは汎用でありながら、作者の‘正しいプログラミング’の理論を強制するように設計された言語(Pascal、Ada、APL、Prologなど)。たとえその理論が、システムハッキングはおろか、ありきたりの汎用プログラミングにすら明らかに不十分であってもである。しばしば‘B&D’と略される。ゆえに、「B&Dの本性を持つ」ものについて語ることがある。Pascalを参照。languages of choiceと対をなす。