Scala Unicode 语法
Scala Unicode Syntax
我知道这两个在 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 网站的何处记录？我如何实际使用它？通过键盘映射器？如何在我的 IDE (IntelliJ) 中轻松启用此功能，例如如果我输入 =>，我希望它在 .scala 文件中为我自动更正为 ⇒。是否有一个 sbt 插件可以为我做这个？
我们称之为 monads、kleisli arrows 或简称为 arrows。您应该为 Intellij 安装 Scala 插件以获得此转换。该插件支持 unicode 箭头。
Section 1.1 Identifiers of the Scala Language Specification 调用它们 Unicode 运算符:
The Unicode operators \u21D2 ‘⇒’ and \u2190 ‘←’, which have the ASCII equivalents => and <-, are also reserved.
我知道这两个在 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 网站的何处记录？我如何实际使用它？通过键盘映射器？如何在我的 IDE (IntelliJ) 中轻松启用此功能，例如如果我输入 =>，我希望它在 .scala 文件中为我自动更正为 ⇒。是否有一个 sbt 插件可以为我做这个？
我们称之为 monads、kleisli arrows 或简称为 arrows。您应该为 Intellij 安装 Scala 插件以获得此转换。该插件支持 unicode 箭头。
Section 1.1 Identifiers of the Scala Language Specification 调用它们 Unicode 运算符:
The Unicode operators
\u21D2‘⇒’ and\u2190‘←’, which have the ASCII equivalents=>and<-, are also reserved.