Platform Engineering Labs推出的开源平台Formae旨在简化基础设施即代码（IaC）的复杂性，使用苹果的Pkl语言来优化资源管理并减少错误。该平台在KubeCon+CloudNativeCon展出，提供更高效的基础设施部署方式。

Pkl是一种新编程语言，旨在简化基础设施配置。它结合了编程和配置语言的特点，通过类型约束和结构化方式定义配置，减少错误并提高可读性。Pkl支持多种编辑器，适用于不同开发环境，提升开发效率。

2024年最有前途的开源编程语言有Pkl、Lax、Amber、Scrapscript和KGL，它们具有独特功能，满足不同需求。开源编程语言具有成本效益、社区支持、灵活性和透明度等优势，促进创新。