从 Scheme 看类型的本质

类型，本质上是对内存模型的一种抽象。因为内存是线性的，而我们存储的数据类型却可能是跳跃的。