为什么我们有布尔类型？

Question

我了解到C没有布尔类型。当我从头开始阅读“Ocaml”时，我在第12页遇到了一个问题：

为什么我们不能只使用0和1来表示camel中的布尔类型，就像C语言一样？

Answer 1

  

为什么某些语言有布尔类型但有些语言没有？

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

^{（但你的问题过于宽泛和意见不明确）}

C型系统受到当时（20世纪70年代早期）C设计的硬件（PDP-11）和instruction set的启发。