斯卡拉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支持。