Tag: 不成形

Scala中`T {}`是做什么的

浏览无形的代码，我在这里和这里看到这个看似无关的代码： trait Witness extends Serializable { type T val value: T {} } trait SingletonOps { import record._ type T def narrow: T {} = witness.value } 我几乎将它视为一个错字，因为它什么都不做，但显然它做了一些事情。 看到这个提交： https ： //github.com/milessabin/shapeless/commit/56a3de48094e691d56a937ccf461d808de391961 我不知道它是做什么的。 有人可以解释吗？

在Scala元组上使用函数组合器？

“地图”保留了元素的数量，所以在Tuple上使用它似乎是明智的。 我到目前为止的尝试： scala> (3,4).map(_*2) error: value map is not a member of (Int, Int) (3,4).map(_*2) ^ scala> (3,4).productIterator.map(_*2) error: value * is not a member of Any (3,4).productIterator.map(_*2) ^ scala> (3,4).productIterator.map(_.asInstanceOf[Int]*2) res4: Iterator[Int] = non-empty iterator scala> (3,4).productIterator.map(_.asInstanceOf[Int]*2).toList res5: List[Int] = List(6, 8) 它看起来很痛苦…我甚至还没有开始尝试将它转换回元组。 我做错了吗？ 图书馆可以改进吗？

有人可以向我解释无形文库的用途吗？

有人可以简单地向我解释什么是无形的图书馆？ 斯卡拉有generics和inheritancefunction，所以我有点困惑什么是无形的。 也许一个用例来澄清事情会有所帮助。

HL主义者只不过是一种复杂的写作方式而已？

我真的有兴趣找出差异在哪里，更一般地说，是要确定不能使用HList的规范用例（或者说，不会比常规列表产生任何好处）。 （我知道在Scala中有22个（我相信） TupleN ，而一个只需要一个HList，但这不是我感兴趣的那种概念差异。） 我在下面的文字中标出了几个问题。 实际上可能没有必要回答这些问题，他们更多的是指出我不清楚的事情，并指导讨论在某些方面。 动机 我最近在SO上看到了一些关于人们build议使用HList（例如， Shapeless提供的）的答案，包括删除了这个问题的答案。 这引起了这个讨论 ，这又引发了这个问题。 介绍 在我看来，只有当你知道元素的数量和它们的精确types时，列表才是有用的。 这个数字实际上并不重要，但是您似乎不太可能需要生成一个列表，其中包含不同但静态精确的已知types的元素，但是您不会静态地知道它们的数量。 问题1：你甚至可以写这样一个例子，例如，在一个循环？ 我的直觉是，具有静态未知数的任意元素（相对于给定的类层次结构是任意的）的静态精确的hlist只是不兼容。 HLists与元组 如果这是真的，也就是说，你静静地知道数字和types – 问题2：为什么不使用一个n-元组？ 当然，你可以types化地映射和折叠一个HList（你也可以，但不能types化，在productIterator的帮助下通过一个元组来完成），但是因为元素的数量和types是静态的，所以你可能只需要访问元组元素直接执行操作。 另一方面，如果你在hlist上映射的函数是通用的，它接受所有的元素 – 问题3：为什么不通过productIterator.map使用它？ 好的，一个有趣的差异可能来自方法重载：如果我们有几个重载的f ，具有由hlist提供的更强types信息（与productIterator相比）可以允许编译器select更具体的f 。 但是，我不确定这是否会在Scala中起作用，因为方法和函数是不一样的。 HLists和用户input 基于相同的假设，即你需要静态地知道元素的数量和types – 问题4：在元素依赖于任何types的用户交互的情况下，能否使用它？ 例如，想象用循环内的元素填充一个hlist; 元素是从某处（UI，configuration文件，演员互动，networking）读取，直到某个条件成立。 什么样的Hlist是什么？ 类似于接口规范getElements：HList，它应该与静态未知长度的列表一起工作，并且允许系统中的组件A从组件B获得这样的任意元素的列表。

纳特types的限制在无形中

在无形中，Nattypes表示一种在types级别编码自然数的方法。 这用于例如固定大小的列表。 你甚至可以在types层次上进行计算，例如在K元素列表中追加N元素的列表，并获得在编译时已知的具有N+K元素的列表。 这种表示能够表示大数字，例如1000000或2 53 ，还是这会导致Scala编译器放弃？