为什么我们有布尔类型？

Question

我了解到C没有boolean类型。当我阅读"Ocaml from very beginning"时，我在第12页遇到了一个问题：

为什么我们不能像C语言那样用0和1来表示camel中的boolean类型？

Answer 1

why some languages have boolean type but others don't?

因为有些语言 type system 比其他语言更好。在我看来，对于许多（但不是全部）任务，Ocaml 具有比 C 更好的类型系统。

^{（但是你的问题太宽泛了，见仁见智）}

C 类型系统的灵感来自于硬件（PDP-11) and instruction set 在当时（1970 年代初）设计了 C。