Tag: 无形

testing一个不能编译的断言

问题 当我使用支持types级编程的库时，我经常发现自己写下如下的评论（从Paul Snively在Strange Loop 2012上提供的例子 ）： // But these invalid sequences don't compile: // isValid(_3 :: _1 :: _5 :: _8 :: _8 :: _2 :: _8 :: _6 :: _5 :: HNil) // isValid(_3 :: _4 :: _5 :: _8 :: _8 :: _2 :: _8 :: _6 :: HNil) 或者，从无形存储库的一个例子 来看 ： /** […]

为什么scala没有明确支持依赖types的任何原因？

有依赖于path的types，我认为可以在Scala中expression几乎所有像Epigram或Agda这样的语言的特性，但是我想知道为什么Scala不能更明确地支持这个语言，就像在其他领域做的很好（比如说，DSL）？ 我错过了什么，像“这是没有必要的”？