新的基础设施即代码工具“formae”瞄准了 Terraform

基础设施工具公司平台工程实验室（Platform Engineering Labs）发布了一个开源的基础设施即代码平台formae。它试图解决他们所描述的现有基础设施即代码工具中的根本性限制。在一份新闻稿中，这家总部位于纽约的公司宣布于 2025 年 10 月 22 日推出 formae，将其定位为近十年来基础设施即代码领域的首个重大创新。

该平台解决了许多平台工程团队所熟悉的问题：庞大的云资产、代码与生产环境之间的漂移，以及脆弱的工具链。根据平台工程实验室的联合创始人兼首席执行官 Pavlo Baron 的说法，这个工具是从直接面对这些挑战中产生的：

我们基于自己的痛苦构建了 formae。它是第一个从现实出发的平台，而不是从一个理想化的计划开始。它接受任何云环境中最混乱的事实，并提供了一种安全、可靠的方法来发展它。

formae 有两种操作模式。首先是“协调”模式，它将期望的环境状态与生产中实际存在的状态对齐；其次是“补丁”模式，它允许操作员应用增量更改。该平台通过将现实本身视为状态，并在代码中进行版本控制，从而消除了显式的状态文件管理。更改通过基于代理的架构进行管理，该架构将状态管理与客户端解耦。

formae 通过自动发现和编码现有基础设施来区分自己。该平台映射了云资产中所有运行的资源，无论这些资源最初是如何创建的，无论是通过 Terraform、OpenTofu、Pulumi、手动云控制台操作还是遗留脚本。这种方法与传统的基础设施即代码工具形成对比，后者需要工程师从计划开始，并根据创建资源的工具维护单独的状态数据。

该平台使用了PKL，这是一种最初由苹果开发的配置即代码语言，而不是 Terraform 和 OpenTofu 使用的 HashiCorp 配置语言。这个选择引起了不同的反应。在LinkedIn上，System Initiative的首席执行官和联合创始人 Adam Jacob 指出，PKL 的决定“可能是好的，也可能是坏，这取决于你对外部 DSLs 的看法。”

Jacob 还对 formae 的技术方法给予了慎重的赞扬。他赞扬其将库存与资源声明分离为“聪明”，因为它允许团队在需要时查询库存并生成声明。他还赞扬了文档的质量及其为构建开发者抽象的清晰设计。

在新闻稿中，codecentric 的平台工程负责人Marc Schnitzius强调了平台的设计哲学：

formae 不仅仅将复杂性从开发转移到运维——它通过抽象现代云原生环境中开发人员和运维团队的复杂性，真正帮助减少了他们的认知负荷。

formae 进入了一个繁忙的领域，Terraform 和 OpenTofu 拥有成熟的生态系统和广泛的多云支持，其他工具，如Spacelift，提供了额外的工作流自动化。它试图通过利用自动发现并确保基础设施更新保持在最低限度来解决 Terraform 工作流风险。情绪表明，该平台的成功可能取决于其自动发现和编码的方法是否比现有工具的熟悉性和社区支持更有价值。

该工具根据平台工程实验室的功能性源代码许可证发布。这样做的目的是使 formae 对用户来说易于访问且安全，同时也创造了一个能够维持公司的商业模式。开源发布使早期采用者无论预算如何都能进行实验和采用，并允许社区成员为项目做出贡献。

在新闻稿中，Thoughtful Software 的创始人兼早期顾问 Harry Brumleve 将 formae 描述为“在 DevOps 和软件开发中向前迈出了重要的进化性飞跃”，其潜在影响可能超出工程团队，为企业和客户创造价值。

该平台可在GitHub上获得，社区讨论在 Discord 上进行。平台工程实验室将其使命声明为消除不必要的劳作，减少人为错误，并在平台工程中使工程师的贡献充满信心。一篇介绍性博客文章还提供了更多的细节。

原文链接：

https://www.infoq.com/news/2025/10/iac-formae/