Scala有什么类型的预测？为什么Scala的类型系统支持类型投影和路径依赖类型？这个设计决策背后的理由是什么？
解决方法
不是一个完整的答案,但这里有一些用于我遇到的类型预测：
>类型级元编程.例如,请参阅Michid系列(零件I,II,III),Jesper的implementation of HList和series at Apocalisp.
>启用类型推断的解决方法(例如,以下是以前的一些问题1,2,3).>将一系列类型捆绑到单一类型参数的一种方式.例如,在我正在开发的矩阵库中,我定义了trait Scalar {type A; B型; C型; …},然后将其作为单个参数传递给我的矩阵特征,trait Matrix [S：Scalar] …个体类型可以称为S#A,S#B等等.在Matrix [S]类型的两个矩阵之间,对于相同的S,这些类型将是兼容的(与路径相关类型的情况不同).
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
