依赖方法类型有哪些引人注目的用例？

trait Graph {
type Node
type Edge
def end1(e: Edge): Node
def end2(e: Edge): Node
def nodes: Set[Node]
def edges: Set[Edge]
}

在其他地方，我们可以静态地保证不会将两个不同图中的节点混合在一起，例如:

def shortestPath(g: Graph)(n1: g.Node, n2: g.Node) = ...

当然，如果在 Graph内部定义，这已经起作用了，但是假设我们不能修改 Graph，并且正在为它编写一个“ pip my library”扩展。

关于第二个问题: 这个特性启用的类型比完全依赖类型的 很远要弱(参见 Agda 的依赖类型编程了解这方面的内容)我以前从没见过这样的类比。

或多或少地使用成员(即。嵌套)类型可能引起对依赖方法类型的需求。特别是，我坚持认为，如果没有依赖方法类型，经典的 cake 模式更接近于反模式。

有什么问题吗？Scala 中的嵌套类型依赖于它们的封闭实例。因此，在没有依赖方法类型的情况下，尝试在该实例之外使用它们可能会非常困难。这可以把最初看起来优雅和吸引人的设计变成可怕的僵硬和难以重构的怪物。

我将用我在 高级 Scala 培训课程课上做的一个练习来说明这一点,

trait ResourceManager {
type Resource <: BasicResource
trait BasicResource {
def hash : String
def duplicates(r : Resource) : Boolean
}
def create : Resource


// Test methods: exercise is to move them outside ResourceManager
def testHash(r : Resource) = assert(r.hash == "9e47088d")
def testDuplicates(r : Resource) = assert(r.duplicates(r))
}


trait FileManager extends ResourceManager {
type Resource <: File
trait File extends BasicResource {
def local : Boolean
}
override def create : Resource
}


class NetworkFileManager extends FileManager {
type Resource = RemoteFile
class RemoteFile extends File {
def local = false
def hash = "9e47088d"
def duplicates(r : Resource) = (local == r.local) && (hash == r.hash)
}
override def create : Resource = new RemoteFile
}

这是典型的蛋糕模式的一个例子: 我们有一系列的抽象，它们通过一个层次结构逐渐被提炼(ResourceManager/Resource由 FileManager/File提炼，NetworkFileManager/RemoteFile继而提炼)。这是一个玩具示例，但是模式是真实的: 它在 Scala 编译器中被广泛使用，在 Scala Eclipse 插件中也被广泛使用。

这里有一个使用中的抽象的例子,

val nfm = new NetworkFileManager
val rf : nfm.Resource = nfm.create
nfm.testHash(rf)
nfm.testDuplicates(rf)

注意，路径依赖性意味着编译器将保证 NetworkFileManager上的 testHash和 testDuplicates方法只能使用与之对应的参数调用，即。它是自己的 RemoteFiles，没有别的。

不可否认，这是一个令人满意的属性，但是假设我们想要将这个测试代码移动到一个不同的源文件中呢？对于依赖方法类型，很容易在 ResourceManager层次结构之外重新定义这些方法,

def testHash4(rm : ResourceManager)(r : rm.Resource) =
assert(r.hash == "9e47088d")


def testDuplicates4(rm : ResourceManager)(r : rm.Resource) =
assert(r.duplicates(r))

注意这里依赖方法类型的使用: 第二个参数(rm.Resource)的类型取决于第一个参数(rm)的值。

在没有依赖方法类型的情况下也可以做到这一点，但是这样做非常笨拙，而且机制也非常不直观: 我已经教这门课近两年了，在这段时间里，没有人能够自发地提出一个可行的解决方案。

你自己试试..。

// Reimplement the testHash and testDuplicates methods outside
// the ResourceManager hierarchy without using dependent method types
def testHash        // TODO ...
def testDuplicates  // TODO ...


testHash(rf)
testDuplicates(rf)

经过一段时间的斗争，你可能会发现为什么我(或者可能是大卫麦克维尔，我们不记得我们谁发明了这个术语)称之为末日面包房。

编辑: 强烈的共识是，《末日面包店》是大卫 · 麦克伊弗的发明..。