unicode - 为什么我不能在作业中使用 Unicode 字符 √ 和 ∀？

Question

Julia 对 Unicode 字符有一个有趣的支持。语法允许我在 iJulia 笔记本中运行以下内容。

μ = 10
σ = 20
∑ = sum
a = [1,2,3,4] 
∑(a) # prints 10

但是，您似乎并不总是可以将 Unicode 字符用于函数/变量名称。

sqrt √ 示例

√ = sqrt

给出以下错误:

syntax: unexpected "="

forall ∀ 示例

forall(x,f) = [f(i) for i in x]
∀ = forall

给出以下错误:

syntax: invalid character "∀"

为什么？

我误解了规则吗？我认为 Unicode 字符会像任何其他字母字符一样被解释，但我似乎在看似简单的语句中遇到两个不同的错误。

Answer 1

√是现有函数的名称；尝试运行以下命令:

julia> methods(√)
# 12 methods for generic function "sqrt":
sqrt(a::Complex{Float16}) at float16.jl:141
sqrt{T<:FloatingPoint}(z::Complex{T<:FloatingPoint}) at complex.jl:237
sqrt(z::Complex{T<:Real}) at complex.jl:261
...

至于 ∀ ，它不是 Julia 源代码中的有效字符(还有吗？)。见 this discussion ;事实是，开发商仍在考虑是否制作 ∀一个有效的字符，如果他们这样做了，它会有什么意义。