【发布时间】：2017-04-03 03:00:10
【问题描述】：
我目前有三个原子class、pupil、grade 和一个元组mark，格式为class->pupil->grade。如何以class->grade 格式返回元组，以便我可以将特定学生在每个班级中的成绩视为班级/等级二元关系？假设系统中只有一个学生。谢谢！
【问题讨论】：
【发布时间】：2017-04-03 03:00:10
【问题描述】：
我可以想象的一种方法是使用集合理解，如下所示：
fun getGrade[p:Pupil]: Class->Grade {
{c:Class,g:Grade|c->p->g in mark}
}
【讨论】：
-
我需要一个
class -> grade形式的元组，这可能吗？ -
对，请原谅我误读了这个问题。我相应地编辑了答案