使用OCaml和MirageOS构建NetHSM对我们来说是一件大事。OCaml的强类型系统所提供的可靠性和安全性，再加上MirageOS的单内核方法，使我们能够创建一个在可信度和灵活性方面都领先于其利基市场的产品。尽管使用利基语言面临着挑战，但我们发现好处，尤其是来自无错误环境的信心，大于缺点。NetHSM证明了OCaml和MirageOS在构建创新和安全解决方案方面的强大能力。

扬·苏尔

Nitrokey创始人兼首席执行官

OCaml为Terrateam的成功发挥了重要作用。它强大的类型系统和性能能力使我们能够用最少的资源构建一个可扩展的、高性能的平台。我们已经能够用一个精益的团队开发和维护我们的整个系统，同时确保快速、无错误的迭代。OCaml的简单性、可靠性和灵活性使其成为构建复杂基础设施解决方案的完美工具。

马尔科姆·马塔尔卡

Terrateam.io首席技术官

使用OCaml作为编程语言来编写软件有很多好处。例如，它能够以简单易懂的方式描述源代码。对源代码中重构的恐惧也可以得到缓解。OCaml拥有一个成熟且不断发展的生态系统，这是一个大型、支持性和友好的社区。

泽维尔·范·德·沃斯特因

Marigold软件工程师。

最初我打算用Python、C和Ocaml编写twttr。但是，我得到了@florian，他是Ruby on Rails的核心贡献者。

杰克·多尔西

推特创始人。

OCaml作为开发环境，在整个开发过程中充当非常值得信赖的合作伙伴。随着需求的发展，我们对实现进行了很大的更改，这就是语言的闪光点。从字面上讲，当OCaml支持我时，我不怕更改别人的代码！

奥列克西·戈洛夫科

Ahrefs后端开发人员。

OCaml帮助我们快速适应不断变化的市场条件，并以较少的工作量从原型过渡到生产系统。每天都有数十亿美元的交易通过我们的系统，因此正确处理至关重要。

亚伦·明斯基

简街首席技术官。

显然，由于OCaml团队，如果没有这样一种漂亮而实用的语言，这个项目就不会存在。最初的类型系统是从中继承过来的，经过大量修改以更好地适应JS生态系统。

张波

ReScript维护器。