引用 novakon:关于OCaml部分，我更新一下：OCaml的主要能力是在设计阶段消灭由于人的疏忽导致的bug。也就是说OCaml程序可以存在有意而为之的bug。 对于一些超大规模、超高并行、超高可用性、但几乎铁定会存在bug的系统，Erlang是一个...
null
1. 公式行内显示(inline)：请使用 $....$ 或 \(....\) 包裹代码
2. 公式独占一行显示(display)：请使用 $$....$$ 或 \[....\] 包裹代码
3. 插入的公式在编辑时不会渲染，请检查无误后再插入。
