B是贝尔实验室大约在1969年由Ken Thompson和Dennis Ritchie开发的一种编程语言。

B源于BCPL，它的名字可能是BCPL的缩写。汤普森的同事丹尼斯·里奇推测，这个名字可能是基于Bon，这是汤普森为Multics设计的一种更早但与之无关的编程语言。[注1]

B是为递归的、非数值的、与机器无关的应用而设计的，比如系统和语言软件。[3]它是一种无类型的语言，唯一的数据类型是底层机器的自然内存字格式，不管它是什么。根据上下文的不同，这个词被当作一个整数或一个内存地址。

随着具有ASCII处理功能的机器变得普遍，特别是贝尔公司推出的DEC PDP-11，支持将字符数据填充到内存字中变得非常重要。这种语言的无类型特性被视为一种劣势，这促使Thompson和Ritchie开发了该语言的扩展版本，支持新的内部和用户定义类型，这就是C编程语言。

历史
BCPL语义与大量的smallgol语法

——肯·汤普森，[4]
大约在1969年，Ken Thompson[2]和后来的Dennis Ritchie[3]主要基于Thompson在multitics项目中使用的BCPL语言开发了B。B实际上是BCPL系统，为了使它适应当时小型计算机的内存容量，汤普森把他认为不需要的任何组件都去掉了。BCPL到B的转换也包括了根据Thompson的喜好所做的更改(主要是在典型程序中减少非空白字符的数量)。[2]在这个过程中，BCPL的许多典型的类似algol的语法都发生了很大的变化。赋值操作符:=恢复为Rutishauser’s Superplan中的=，相等操作符=被替换为==。

Thompson添加了“双地址赋值运算符”，使用x =+ y语法将y添加到x(在C中，运算符写为+=)。这种语法来自Douglas McIlroy的TMG实现，其中B的编译器首次实现(它来自ALGOL 68的x +:= y语法)。[2][5]汤普森更进一步，发明了自增和自减操作符(++和——)。它们的前缀或后缀位置决定该值是在操作数更改之前还是之后获取的。根据Dennis Ritchie的说法，人们通常认为它们是为DEC PDP-11的自增和自减地址模式而创建的，但这在历史上是不可能的，因为B最初开发时机器还不存在。[2]

分号版本的for循环是肯·汤普森从斯蒂芬·约翰逊的作品中借用的。[6]

B是无类型的，或者更准确地说只有一种数据类型:计算机字。大多数操作符(例如+，-，*，/)将其视为整数，但其他操作符将其视为要解引用的内存地址。在许多其他方面，它看起来很像早期版本的c。有一些库函数，包括一些模糊地类似于c中标准I/O库的函数。[3]用汤普森的话来说:“B和古老的C是非常非常相似的语言，除了C的所有类型不同。”[6]

早期的实现是用于使用早期Unix的DEC PDP-7和PDP-11小型计算机，以及运行操作系统GCOS的霍尼韦尔GE 645[7] 36位大型机。最早的PDP-7实现被编译为线程代码，Ritchie使用TMG编写了一个编译器来生成机器码。[8][9][10] 1970年获得了PDP-11，并将线程代码用于端口;汇编程序dc和B语言本身都是用B语言编写的，用于引导计算机。yacc的早期版本就是使用这种PDP-11配置生成的。里奇在此期间接管了维修工作。[2][10]

B的无类型特性在Honeywell、PDP-7和许多旧的计算机上是有意义的，但在PDP-11上是一个问题，因为很难优雅地访问PDP-11和大多数现代计算机完全支持的字符数据类型。从1971年开始，Ritchie在将编译器转换为生成机器码的同时对语言进行了更改，最引人注目的是为变量添加了数据类型。在1971年和1972年期间，B演变为“新B”(NB)，然后是c。[2]

由于被C语言所取代，B语言几乎灭绝了。[11]然而，由于各种原因，它继续在GCOS大型机(截至2014年)[12]和某些嵌入式系统(截至2000年)上使用:小型系统中有限的硬件，广泛的库，工具，许可成本问题，以及仅仅足够好地完成工作。[11]极具影响力的《阿伯穆德》最初是用B语言写成的。