这是一本关于 Shen 语言的书籍，包含多个章节和主题，主要内容如下：

• 章节介绍：涵盖了从开始使用 Shen 语言到各种高级特性的内容，如核心语言、类型系统、逻辑推理等。
• 核心语言部分：包括开始 Shen、递归、列表、字符串、高阶函数、赋值、向量、I/O、宏和包、异常和延续、非确定性、Shen YACC、Lambda 演算等章节，详细介绍了 Shen 语言的各种语法和操作。
• 类型系统部分：涉及类型、序列演算、具体类型、证明和控制、抽象和代数数据类型、类型化 Shen YACC 等章节，探讨了 Shen 语言中的类型相关概念和操作。
• 其他部分：如模型检查、Kλ 解释器、Shen Prolog、编译序列演算和 Prolog、L语义、系统 S、类型安全等章节，涵盖了更深入的语言特性和相关应用。
• 附录：包括系统函数及其类型、Shen 的语法、Next Lisp 等附录，提供了相关的参考信息。

总的来说，这本书全面介绍了 Shen 语言的各个方面，从基础到高级，对于学习和使用 Shen 语言的人具有重要的参考价值。