为什么ocaml推断bool类型？

OCaml推断bool类型是因为OCaml具有静态类型推断的特性。静态类型推断是指在编译时，根据变量的使用上下文和赋值等操作，自动推断变量的类型，而无需显式地声明类型。这样可以减少程序员的工作量，提高开发效率。

在OCaml中，当变量被赋予布尔类型的值（true或false）时，OCaml会根据这个赋值操作来推断该变量的类型为bool。这意味着在后续使用该变量时，编译器会自动检查其类型是否符合预期，并在类型不匹配的情况下给出编译错误。

静态类型推断的优势在于增加了程序的可靠性和安全性，可以在编译阶段捕获类型错误，避免在运行时出现类型不匹配的问题。另外，静态类型推断还使得代码更易于维护和理解，减少了类型注解的冗余代码。