问题标签 [ascription]

规范中没有太多关于类型归属的信息，当然也没有关于它的目的的任何信息。除了“使传递可变参数起作用”之外，我会使用类型归属来做什么？下面是一些 scala REPL 的语法和使用它的效果。

标准 ML 中是否有任何方法可以使函子输出一个结构，该结构具有传入结构的所有功能以及任何新功能。

以类似的方式，是否可以进行多重归属？在上述情况下，它将立即有用，因为您可以将函子的输出归因于原始结构的签名和指定新功能的另一个签名。

我理解做这样的事情的含义，以及为什么它可能是一个坏主意。目前，我只是在函子输出中保留了传入结构的副本——但这意味着您有一个长链“Foo.Bar.func”来访问基本功能。

谢谢

以 Haskell 中不起眼的恒等函数为例，

鉴于 Haskell 应该支持隐含的多态性，我应该能够通过类型归属来“限制”id类型似乎是合理的。(forall a. a -> a) -> (forall b. b -> b)但这不起作用：

当然可以使用所需的签名定义新的受限形式的身份函数：

然而，根据一般定义它是id行不通的：

那么这里发生了什么？似乎它可能与不可预测性的困难有关，但启用-XImpredicativeTypes没有任何区别。

我正在尝试做：

MyObject.myMethod(_:MyType.myAttribute)

这失败了

type myAttribute is not a member of object MyObject

哪个是对的。问题是我想调用myMethod的myAttribute，而_:MyType不是归于。我可以以某种方式对类型归属进行分组吗？返回 type ，这不是我想要的。MyType:myAttribute__:MyType(_:MyType).myAttributeMyType => classOf(myAttribute)

编辑：我更改了这篇文章的标题和文本，不再将其称为点的关联性，我认为这是不正确的。

有几次我使用了错误的语法，比如let在这个例子中忘记使用：

我知道这个问题是通过 using 解决的let，但是什么是“类型归属”，它的用途是什么？

我发现了issue #23416和type ascription 的特性门，但我不明白什么是“type ascription”或它的目的是什么。

当我阅读Scala 反射教程时。我发现一个非常连贯的语法如下。

所以member函数接受Name类型参数，然后"map": TermName传递给它。这个语法到底是什么意思？我猜这是糖的捷径.member(TermName("map"))。

gives error:

But

works. Also storing the iterator in a val works.

Scala version: 2.11.8