With an abstract data type we cleanly separate the programming tasks of implementation and usage: we are well on our way to decompose a large system into smaller modules.

• 通过抽象数据类型我们干净地把实现和使用两种编程任务分开：我们在把一个大系统分成小模块的道路上顺利前行。