斯卡拉Unicode的语法

Question

我知道这两个Scala中是相同的：

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

注意Unicode替换为<-和=>：

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

什么叫这个功能吗？我GOOGLE了各种组合的“斯卡拉Unicode操作符/符号”，并没有找到我在找什么......什么是等效符号的完整列表？ 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支持。