第23章 章节23.4 练习23.4.1 题目： Using the typing rules in Figure 23-1, convince yourself that the terms above have the types given. \[ \begin{aligned} &\text{id} = \lambda \text{X. } \lambda \text{x}: \text{X. } \text{x}; \\ \blacktriangleright \text{ } &\text{id} : \forall \text{X. } \text{X} \to \text{X} \end{aligned} \] \[ \begin{aligned} &\text{id} \text{ } [\text{Nat}];

正文 用 Quaternion 做旋转有省空间、连续多个 Quaternion 旋转和矩阵一样可以复合成单个 Quaternion 、复合操作的计算量比矩阵少、不受 Gimbal Lock 影响、更容易做插值等特点，因此在图形学领

第22章 章节22.2 练习22.2.3 题目： Find three different solutions for the term \[ \lambda \text{x}: \text{X. } \lambda \text{y}: \text{Y. } \lambda \text{z}: \text{Z. } (\text{x z}) (\text{y z}) \] in the empty context. 解答： (\( [\text{X} \mapsto \text{Z} \to \text{Z} \to \text{Z}, \text{Y} \mapsto \text{Z} \to \text{Z}], \text{Z}) \) (\( [\text{X}

第2章 练习2.A 练习2.A.1 题目： Support \( v_1, v_2, v_3, v_4 \) spans \( V \). Prove that the list \( v_1 - v_2, v_2 - v_3, v_3 - v_4, v_4 \) also spans \( V \). 证明： 由于\( v_1, v_2, v_3, v_4 \)生成\( V \)

前言 本书风格类似陶哲轩Analysis I的风格，在引入一个东西前，都会给你解释动机，这对读者来说是好事，你不用盲目记一个东西或者反复读一段内

前言 Dominator 的计算在编译器优化、程序分析等领域会用到，本文章将详细讲解 Dominator ，给出相关的定义，描述相关的性质，并给出性质的证明。 注 1： 本文中的图都是有