《神之书 神语言》是由Mark Tarver撰写的一本关于Shen语言的书籍。Shen语言是一种支持函数式编程和逻辑编程的高级语言，它具有多范式编程的能力。这本书可以被看作是学习Shen语言的权威指南。
标题中提到的“the book of shen”指的就是这本书，而“神之书”可能是中文版的译名。“神语言”则是对Shen语言的一个颇具神秘感的称呼。Shen语言是一种多范式编程语言，它结合了函数式编程、逻辑编程和命令式编程的特性。在描述中提到的第二版意味着这本书有一个更新的版本，表明Shen语言的发展与进步。
标签“shen”直接指出了本书所介绍的语言，Shen语言的命名来源于逻辑学家和数学家John McCarthy的早期编程语言LISP的创始人之一，Shen-Kuo。Shen-Kuo是十一世纪的一位中国科学家和数学家，Mark Tarver使用这个名字，既是为了纪念这位科学家的贡献，也体现了Shen语言将数学和逻辑紧密结合的特点。
从提供的部分内容来看，本书内容非常丰富，包含了Shen语言的核心概念、语法、编程范式等多个方面：
1. 首先介绍了声明式编程的基础，Shen语言是建立在逻辑学和数学基础上的，因此在数学基础方面有深入的探讨。
2. 随后本书追溯了Shen语言的起源，包括美国和英国在函数式编程和逻辑编程方面的经验，以及Shen语言的先驱——SEQUEL和Qi语言。
3. 书中还介绍了Shen语言的顶层系统，如何启动、函数应用、重复评估、严格和非严格求值、布尔操作、新函数定义、等式和优先级重写系统等。
4. 对于函数式编程中非常重要的递归概念，书中有专门章节讨论，包括递归和阶乘函数、追踪函数调用、守卫以及非终止函数。
5. 列表处理是函数式编程中不可或缺的部分，书中对在Shen语言中如何表示和处理列表进行了介绍。
6. 字符串处理在Shen语言中也是重要的一环，书中探讨了字符串与符号、构建字符串、字符串与列表的转换、字符串编程等内容。
7. 高阶编程是Shen语言的一个重要特性，书中详细讨论了高阶函数、抽象化、柯里化以及高阶编程实践。
8. 对于变量赋值和部分应用，Shen语言提供了简单赋值和破坏性操作。
9. 向量作为一种数据结构，在Shen语言中有专门的处理方法，书中介绍了向量、列表与向量的处理、向量操作、哈希表、属性向量和语义网、本地向量和打印向量等。
10. 流处理、打印函数、输入读取、字节与流的概念也在书中有所涉及。
11. 宏和包的管理是Shen语言支持代码组织和抽象化的重要机制，书中对宏、评估顺序的改变、定义自己的表示法、包管理等高级话题进行了深入的探讨。
在版权信息部分，明确指出了版权归属以及复制权的声明，表明了这本书和其中内容的知识产权受到法律保护，未经授权不能随意复制或分发。
在致谢部分，作者对Magdalena Pamesa表示了感谢，这可能是因为她在Shen语言的开发或是这本书的编写过程中做出了贡献。
整体来看，《神之书 神语言》是一个内容全面的技术参考书籍，适用于对Shen语言感兴趣的程序员以及已经使用Shen语言进行软件开发的工程师。通过本书的学习，读者可以全面理解Shen语言的特性和编程范式，并能够应用它解决实际问题。
icthefuture2019-03-0612页的pdf，只有目录
