nos*_*you 5 types type-theory ada dependent-type
我一直试图围绕 Ada 进行思考，并且我一直在阅读有关Agda 和 Idris 中的依赖类型的一些内容。
是否可以认为Ada 中的子类型等同于依赖类型？
Jac*_*sen 1
不，不像我阅读您引用的依赖类型的正式定义。
归档时间：
8 年，4 月 前
查看次数：
867 次
最近记录：