第8章依赖类型 本章内容 -带依赖类型的演算，包括依赖积与依赖和 概要介绍Dependent ML(DML),以此来展示 怎样把依赖类型用到实际语言中，这是当前程序 设计语言研究的一个课题 带广义积与广义和的直谓式演算，以及它们同 SML及其相近语言的模块系统的联系第8章 依赖类型 • 本章内容 – 带依赖类型的演算，包括依赖积与依赖和 – 概要介绍Dependent ML（DML），以此来展示 怎样把依赖类型用到实际语言中，这是当前程序 设计语言研究的一个课题 – 带广义积与广义和的直谓式演算，以及它们同 SML及其相近语言的模块系统的联系