第 6 章 racket1.rkt 与通用运算符

带标签数据、数据导向编程、消息传递,以及 racket1.rkt 中的类型塔与通用运算。

本章实现 SICP 第 2 章的精髓——通用运算符(generic operators):先用带标签数据区分类型,再用数据导向编程把操作与类型解耦,然后用消息传递把二者合为一体,最终在 racket1.rkt 中见证类型塔上的类型提升与降级。

本节目录

笔记

回到Unit 2:数据抽象与序列可查看本单元其他章节。