scala – 什么是类型预测？

发布时间：2020-12-16 09:23:11 所属栏目：安全来源：网络整理

导读：Scala有什么类型的预测？为什么Scala的类型系统支持类型投影和路径依赖类型？这个设计决策背后的理由是什么？解决方法不是一个完整的答案,但这里有一些用于我遇到的类型预测：类型级元编程.例如,请参阅Michid系列(零件I,II,III),Jesper的implementation o

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,这些类型将是兼容的(与路径相关类型的情况不同).

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!