Hyper.ag 为室内和垂直农场提供可扩展的传感器分析和自动化基础设施。借助他们的产品，农民可以通过获得可操作的生长洞察力和气候控制配置文件，无需专门的工程团队，持续优化作物质量并降低运营成本。
挑战
自公司成立以来，Hyper 一直拥有非常独特的产品要求，以支持管理数千台低功耗网络设备并跨分布式服务器基础设施计算实时指标的部署。
- 可靠的实现 - 客户期望系统能够正常运行，因为任何服务中断都可能直接影响其业务运营。
- 受控资源使用 - 将软件部署到资源受限的设备上，其中低内存配置文件和计算效率对于支持更高级的功能至关重要。
- 离线优先部署 - 分布式分析和自动化系统的架构需要精确的状态复制，以支持离线部署，适用于在偏远地区的农场客户。至关重要的是，该软件必须在没有任何外部服务的情况下可靠运行。
- 开发人员效率 - 最重要的是，Hyper 是一家初创公司，需要持续迭代产品功能，以实现快速上市时间并在其工作中保持高度的信心。
解决方案
虽然 OCaml 通常不被认为是用于物联网和嵌入式编程的语言或平台，但它帮助 Hyper 以强类型函数式范式特有的方式满足了其需求，因为它提供了具有声明式接口的强大抽象边界和许多优化机会。
Hyper 利用 OCaml 设计了一种产品，该产品既具有极强的适应性，又提供了高度的安全性。在迭代系统设计时，他们能够以惊人的速度多次重写几个关键组件，而不会影响可靠性。
结果
OCaml 的类型系统被证明是表达他们物联网平台所有传感器和执行器的固定式和特征的绝佳工具。这使他们能够为资源受限的设备生成代码，以实现最大性能、低网络开销以及在更改系统时获得高度灵活性。
除了强大的语言和不断增长的优质库生态系统外，Hyper 还非常重视 OCaml 在其构建持久且具有影响力的产品的旅程中承诺的向后兼容性和长期支持。