The Reasoned Schemer 第二版项目教程

The Reasoned Schemer 第二版项目教程

CodeFromTheReasonedSchemer2ndEdCode from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic项目地址:https://gitcode.com/gh_mirrors/co/CodeFromTheReasonedSchemer2ndEd

1. 项目的目录结构及介绍

TheReasonedSchemer2ndEd/
├── LICENSE
├── README.md
├── trs2-arith.scm
└── trs2-impl.scm

• LICENSE: 项目的许可证文件，采用MIT许可证。
• README.md: 项目的说明文件，包含项目的基本信息和使用指南。
• trs2-arith.scm: 包含第7章和第8章的算术关系实现。
• trs2-impl.scm: 包含第10章和附录A的语言实现。

2. 项目的启动文件介绍

项目的启动文件是 trs2-impl.scm 和 trs2-arith.scm。在使用项目代码之前，需要先加载 trs2-impl.scm，然后再加载 trs2-arith.scm。

示例：

> (load "trs2-impl.scm")
> (run* q (== 'pasta q))
(pasta)
> (load "trs2-arith.scm")
> (run* q (*o (build-num 3) (build-num 4) q))
((0 0 1 1))

3. 项目的配置文件介绍

项目没有明确的配置文件。所有的配置和初始化都在 trs2-impl.scm 和 trs2-arith.scm 中完成。trs2-impl.scm 包含了语言的实现，而 trs2-arith.scm 包含了算术关系的实现。

在使用项目时，确保按照顺序加载这两个文件，以保证代码的正确运行。

CodeFromTheReasonedSchemer2ndEdCode from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic项目地址:https://gitcode.com/gh_mirrors/co/CodeFromTheReasonedSchemer2ndEd