依赖方法类型,以前是一个实验性的特性,现在已经变成了enabled by default in the trunk,显然这似乎在Scala社区中创建了some excitement。
乍一看,这有什么用还不是一目了然。Heiko Seeberger发布了一个依赖方法类型here的简单示例,可以在注释中看到,它可以很容易地在方法上使用类型参数重现。所以这不是一个很有说服力的例子。(我可能遗漏了一些明显的东西。如果是这样,请纠正我。)
在依赖方法类型明显优于其他方法的情况下,有哪些实用和有用的用例示例?
我们可以用它们做些以前不可能/容易做的有趣的事情吗?
与现有的类型系统特性相比,它们给我们带来了什么?
此外,依赖方法类型是否与其他高级类型语言(如Haskell、OCaml )的类型系统中的任何功能相似或从中汲取灵感?
https://stackoverflow.com/questions/7860163
复制相似问题