Scala类型系统,通过自有类型的参数约束成员的类型

Question

这里不太确定标准术语,所以我会试着描述我想要做的事情.如果您感到好奇,我实际上尝试编写的应用程序是一个类似于Resque或rq的异步任务队列.

我有一个类型TaskDef[ArgsT <: AnyVal, ResultT <: AnyVal].如果你很好奇,TaskDef代表"如何执行一个接受参数类型ArgsT和结果类型的异步任务ResultT,或者任务背后的代码".

我正在尝试定义一种类型TaskInst[DefT <: TaskDef].如果你很好奇,则TaskInst代表"a TaskDef和相关参数来运行它,或者,一个实际的任务实例被提交到队列".TaskInst有两个成员,definition: DefT以及arguments其类型,我不能在代码编写.

在英语中,我所希望的约束是:"对于一个给定的DefT,其中DefT一些TaskDef[ArgsT, ResultT],TaskInst[DefT]应该包含一个DefT和ArgsT".也就是说,任务定义的参数类型应该与给予任务的参数类型相匹配.

如何在Scala类型系统中表达这一点？

或者,我是否错误地为我的域建模并尝试做一些非惯用的事情？一些替代方法会更加惯用吗？

提前致谢!

编辑:

我认为我的历史自我写作Java可能会在这一点上使用未经检查的演员表.对于一定数量的未经检查的强制转换,这绝对是可行的,只是省略了TaskInst参数类型与嵌入式参数类型之间的约束TaskDef.但是,我确实想知道这是否是编译器可以强制执行的,并且希望没有太可怕的语法.

Answer 1

将它们定义为抽象类型:

trait TaskDef {
    type Arguments <: AnyVal
    type Result <: AnyVal
}

然后使用类型投影:

trait TaskInst[DefT <: TaskDef] {
    def definition: DefT
    def arguments: DefT#Arguments
}

Live Demo