Scala：如何创建由值而不是类型参数化的类型
发布时间：2020-12-16 18:07:33 所属栏目：安全 来源：网络整理
导读：是否有可能在 Scala中创建一个由值参数化的类型？我不想定义部分类型List [A]并使用List [Int]对其进行参数化,而是想定义部分类型(伪代码)元素[Symbol]并使用Element [‘td]对其进行参数化.在此示例中,类型表示XML元素：Element [‘td]通知Scala类型检查器我
|
是否有可能在
Scala中创建一个由值参数化的类型？我不想定义部分类型List [A]并使用List [Int]对其进行参数化,而是想定义部分类型(伪代码)元素[Symbol]并使用Element [‘td]对其进行参数化.在此示例中,类型表示XML元素：Element [‘td]通知Scala类型检查器我们有< td>元素,你可以想象一个人可以拥有特别期望或返回的API< td>元素.
(Subclassing,因为inclass Td扩展了Element,不是一个非常令人满意的解决方案,因为它不会阻止两个代码,可能由独立的开发人员编写,为< td>声明不同的子类,这将被认为是Scala类型检查器的不同类型.) 解决方法
如果您真的想通过值参数化类型,则需要依赖类型的编程语言,例如Agda.
（编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |