OCaml的并行化能力是什么状态？

关于OCaml的并行化能力，目前主要有以下几个方面：

1. 并发模型：OCaml支持Actor模型和并发模型，可以实现高效的并行计算。Actor模型是一种基于消息传递的并发模型，它允许多个Actor之间进行通信，从而实现并行计算。并发模型则是通过使用协程（coroutine）来实现并发计算，协程可以在执行过程中暂停和恢复，从而实现多个任务的并发执行。
2. 并行库：OCaml提供了一些并行库，如Parmap、Parany和Pariter等，这些库可以帮助用户实现并行计算。Parmap是一个基于MapReduce模型的并行库，可以实现数据并行计算；Parany是一个基于任务并行的并行库，可以实现任务并行计算；Pariter是一个基于迭代器的并行库，可以实现数据流水线式的并行计算。
3. 并行编程模型：OCaml支持基于通信的并行编程模型，可以实现高效的并行计算。基于通信的并行编程模型是一种基于消息传递的并行编程模型，它通过发送消息来实现进程间的通信，从而实现并行计算。
4. 并行计算平台：OCaml可以运行在多种并行计算平台上，如Multicore OCaml和Disco等。Multicore OCaml是一个基于多核心的并行计算平台，可以实现多核心的并行计算；Disco是一个基于分布式计算的并行计算平台，可以实现大规模的并行计算。

总的来说，OCaml的并行化能力目前还处于发展阶段，虽然已经有了一些并行计算的支持，但是相比于其他流行的并行计算语言，如Java和C++等，还有很大的提升空间。不过，随着OCaml社区的不断发展和完善，相信未来OCaml的并行化能力会得到进一步的提升和完善。