Scala Unicode语法

Question

我知道这两个在Scala中是等效的：

for {x <- xs} yield x
case Nil => println("foo")

请注意<-和=>的Unicode替换：

for {x ← xs} yield x
case Nil ⇒ println("foo")

这个功能叫什么？我搜索了“Scala Unicode Operators / Symbols”的各种组合，但没有找到我要找的东西......等效符号的完整列表是什么？ Scala网站上记录了哪些内容？我该如何实际使用它？通过keymappers？如何在我的IDE（IntelliJ）中轻松启用它，例如如果我输入=>，我希望它在.scala文件中为我自动更正为⇒。是否有一个sbt插件可以为我做这个？

Answer 1

Section 1.1 Identifiers of the Scala Language Specification称他们为 Unicode操作员：

  

Unicode运算符\u21D2'⇒'和\u2190'←'也具有ASCII等效=>和<-。

Answer 2

我们称之为monads，kleisli arrows或简称arrows。您应该为Intellij安装Scala插件才能进行此转换。该插件具有unicode箭头支持。