Scala 类型别名命名规则？

Question

我尝试进行 Google 搜索，但由于涉及符号系统，我未能找到任何相关内容。

我知道这会编译type ==>[A, B] = Map[A, B]，但这不会编译type m==>[A, B] = Map[A, B]。此外，这不会编译type =m=>[A, B] = Map[A, B]。

另外，我知道这些是等效的 def foo: Int ==> String = ??? 和 def foo: ==>[Int, String] = ???。但是我找不到任何指定这些规则的官方文档？在哪里指定我可以将 2 个类型参数替换为类型别名的任一侧？如果我有 3 个类型参数怎么办？如果我有这个：type ==>[A, B, C]，我该怎么做类似def foo: A ==> B ==> C？

Answer 1

Scala 标识符名称不能包含符号和字符的混合。这同样适用于方法以及类型和类型构造函数名称。

scala> type =m=>[A, B] = Map[A, B]
<console>:1: error: identifier expected but '=' found.
       type =m=>[A, B] = Map[A, B]
            ^

scala> type ===>[A, B] = Map[A, B]
defined type alias $eq$eq$eq$greater

scala> type mmmm[A, B] = Map[A, B]
defined type alias mmmm

比较：

scala> def foo = 3
foo: Int

scala> def === = 3
$eq$eq$eq: Int

scala> def =foo= = 3
<console>:1: error: identifier expected but '=' found.
       def =foo= = 3
           ^

唯一的例外是foo_<symbol-here>，但这无助于您命名=m=>。

scala> def foo_? = 3
foo_$qmark: Int

scala> def foo_* = 3
foo_$times: Int

scala> def foo_==> = 3
foo_$eq$eq$greater: Int