使用类似 PROLOG 的逻辑求解器实现和定义 Rust 特征系统
[!警告] Chalk 项目已经淘汰,取而代之的是新一代特性求解器。有关新特性求解器的开发详情,请参阅以下帖子:
- https://blog.rust-lang.org/inside-rust/2023/07/17/trait-system-refactor-initiative/
- https://blog.rust-lang.org/inside-rust/2023/12/22/trait-system-refactor-initiative/
- https://blog.rust-lang.org/2024/06/26/types-team-update/
- https://blog.rust-lang.org/inside-rust/2024/12/04/trait-system-refactor-initiative/
** chalk 和 rustc 有什么关系?** 最初的计划是让 rustc 使用 chalk-solve crate（在本仓库中）来回答有关 Rust 程序的问题，例如“Vec<u32> 是否实现了 Debug。内部，chalk 会将 Rust 专用的信息转换为逻辑，并使用逻辑引擎来找到原始查询的答案。有关更多详细信息，请参阅 chalk 书中的解释。
暂无开放 Issues，或尚未同步最近议题。