4
依赖方法类型有哪些引人注目的用例？
依赖的方法类型以前曾经是实验性功能，现在默认情况下已在主干中启用，显然，这似乎在Scala社区中引起了一定的兴趣。 乍一看，这可能会产生什么效果尚不清楚。Heiko Seeberger在此处发布了一个简单的依赖方法类型的示例，从注释中可以看出，可以很容易地在方法上使用类型参数来复制它们。因此，这不是一个非常引人注目的例子。（我可能缺少明显的东西。如果是，请更正我。） 在依赖方法类型明显优于替代方法的情况下，有哪些实用且有用的用例示例？ 我们可以对他们做哪些以前不可能/不容易做的有趣事情？ 他们通过现有的类型系统功能向我们购买什么？ 此外，从属方法类型是否类似于在其他高级键入语言（例如Haskell，OCaml）的类型系统中找到的任何功能或从中获得启发？