xlfn

xlfn 是一个旨在利用 Rust 创建原生 Microsoft Excel XLL 加载项的框架。它对 Excel 12 / XLOPER12 ABI 进行了抽象，允许开发人员将工作表函数编写为类型化的 Rust 函数。该框架处理函数注册、值转换、运行时生命周期管理以及 XLL 打包。 核心能力包括： - 原生支持 32 位和 64 位 Excel，无需 .NET 运行时。 - 支持多种 API 类型，包括同步、异步和流式（RTD）API。 - 为有状态计算提供基础设施，包括公式拥有的类型化句柄和计算缓存。 - 运行时安全特性，如 panic 遏制和生命周期转换管理。 - 通过 `cargo-xlfn` 提供集成部署工具，用于构建、验证和打包 XLL 文件。 - 使用 Lean 4 对生命周期和关闭协议进行形式化验证。 该项目专门专注于原生工作表函数和计算基础设施；它不支持 Ribbon UI、任务窗格或通用 Office 自动化。