【文件属性】:
文件名称:chalk:使用类似PROLOG的逻辑求解器实现Rust特质系统的实现和定义
文件大小:733KB
文件格式:ZIP
更新时间:2021-04-27 14:28:51
Rust
粉笔
Chalk是一个基于逻辑规则实现Rust特征系统的库。
有关更多信息,请参见。
常问问题
粉笔与rustc有何关系? 计划是让rustc用chalk-solve溶解的箱子(在此仓库中)回答有关Rust程序的问题,例如,“ Vec
是否实现Debug ?”。 在内部,粉笔将Rust特定的信息转换为逻辑,并使用逻辑引擎查找原始查询的答案。 有关更多详细信息,请参见。
名字从何而来? chalk以出生的地区 )的名字命名。 由于Prolog是一种逻辑编程语言,因此这似乎是一个合适的参考。
博客文章
以下是一些有关粉笔的博客文章:
讲解基本概念
统一介绍
扩展系统的关联类型
如何证明不正确
基本的粉笔查询结构,带有指向粉笔实现的指针
粉笔循环查询处理循环关系并以优雅的方式实现隐含边界和其他长期需要的功能
替换
有一个主要用于调试目的的副本,可以通过cargo run 。 一些