Dmytro Mitin
2020-11-30 02:04:41
事情主要不是上下文绑定与隐式参数的区别（不应有任何区别（*）），而是implicitly可以破坏所找到的隐式类型
https://typelevel.org/blog/2014/01/18/implicitly_existential.html
如果summon2使用自定义实现程序进行修复，则将按预期工作
def materializeFoo[T](implicit f: Foo[T]): Foo[T] { type B = f.B } = f
def summon2[T: Foo] = materializeFoo[T].value
summon2[Int]
// val res: String = Hey!
有趣shapeless.the无济于事
def summon2[T: Foo] = the[Foo[T]].value
summon2[Int]
// val res: Foo[Int]#B = Hey!
此外，在斯卡拉2.13，你可以使用materializer（非特异性的更一般的形式Foo）恢复单身类型（像它做在斯卡拉3）
def materialize[A](implicit f: A): f.type = f
def summon2[T: Foo] = materialize[Foo[T]].value
val y = summon2[Int]
// val res: String = Hey!
（*）好吧，区别在于，如果不引入参数名称f，则不能f.B在返回类型中显式引用该类型。而且，如果你未明确指定返回类型，我们会f.B因为缺乏稳定的前缀而无法推断出这种类型f（另请参见Aux-pattern用法编译而不会推断出适当的类型）。
热门帖子
热门github
1
2
3
5
6
7
8
11
13
14
15
Mamba is a new state space model architecture showing promising performance on information-dense data such as language modeling, where previous subquadratic models fall short of Transformers. It is based on the line of progress on structured state space models, with an efficient hardware-aware design and implementation in the spirit of FlashAttention.
(翻译：Mamba 是一种新的状态空间模型架构，在信息密集型数据（例如语言建模）上显示出良好的性能，而之前的二次模型在 Transformers 方面存在不足。它基于结构化状态空间模型的进展，并本着FlashAttention的精神进行高效的硬件感知设计和实现。)
啊，我明白了。换句话说，
summon1之所以起作用是因为通过f句柄summon2有指向类型的路径，但是没有。知道了👍@gogstad注意，通常（当然也有例外）具有隐式的值和方法而没有显式的返回类型被认为是不好的做法。具有显式的返回类型可以帮助推断并避免引入带有更改的错误。