在Scala中是否可以定义一个依赖类型，比如具有特定第一个元素、最后一个元素的列表，或者具有特定长度的列表？
为了澄清这个问题，有些语言支持依赖类型，比如Idris。Scala支持路径依赖类型，这涵盖了它的一部分，但我不清楚如何实现将某个值作为第一个元素或长度的列表。我也知道不成形。所以我想知道是否有一种现实的方式来编码这样的类型，使用任何Scala库，以获得最大的表现力。该应用程序是在两个特定节点n1和n2之间的图中查找路径的练习。因此，为了提高程序的类型安全性，我试图指定结果是以n1开始并以n2结束的节点列表，以及当组合两个列表时，从n1到n3和从n3到n2，其中n3是介于两者之间的节点，如何通过类型断言结果列表的长度等于联合列表的总和。谢谢看在Scala中是否可以定义一个依赖类型，比如具有特定第一个元素、最后一个元素的列表，或者具有特定长度的列表？,scala,idris,dependent-type,path-dependent-type,Scala,Idris,Dependent Type,Path Dependent Type,为了澄清这个问题，有些语言支持依赖类型，比如Idris。Scala支持路径依赖类型，这涵盖了它的一部分，但我不清楚如何实现将某个值作为第一个元素或长度的列表。我也知道不成形。所以我想知道是否有一种现实的方式来编码这样的类型，使用任何Scala库，以获得最大的表现力。该应用程序是在两个特定节点n1和n2之间的图中查找路径的练习。因此，为了提高程序的类型安全性，我试图指定结果是以n1开始并以n2结束的节点列表，以及当组合两个列表时，从n1到n3和从n3到n2，其中n3是介于两者之间的节点，如何通过类