改掉错误使用的赋值、语句、局部变量概念(#50)

[clsty]

#50

虽然 @ryan4yin 说了等大修完成之后统一修改，但是顶着错误使用的概念让我感到非常不适，所以想着还不如先全部修正了，还请理解。

此次主要是将“赋值”的说法变更为了“为值分配名称”或“将名称分配给值”，依据是 nix.dev 中的“assign names to values”的说法。

[ryan4yin]

看到一些问题，这里面最头疼的还是这个变量跟绑定 emmm 我 PLT 也不太懂，看看佬们有啥建议。

[clsty]

我之所以认定 Nix 的名称也可以称为变量，是 Nix 的报错会这么说：

nix-repl> { a = b; } 
error: undefined variable 'b'

[ryan4yin]

其实官方文档里也 variable 满天飞 hhh 只能说太草台了（

https://nix.dev/manual/nix/2.31/language/syntax.html

[ryan4yin]

我之所以认定 Nix 的名称也可以称为变量

实际使用上我觉得 Nix 的名称还是更像名称绑定的，毕竟名称这个东西基本也就是在 let ... in ... 里面用用，nix repl 的行为不一定代表语言本身的行为。

看看其他同学怎么说吧，我不太懂 PLT.

[clsty]

其实官方文档里也 variable 满天飞 hhh 只能说太草台了（

https://nix.dev/manual/nix/2.31/language/syntax.html

我一眼就看到“局部变量”了，震惊

A let-expression allows you to define local variables for an expression.

[linyinfeng]

说变量肯定没问题，lambda 演算里也都说 variable。我只是反对说局部变量，因为并没有全局变量啊……

[clsty]

我也好奇，请教一下限定在 nix 语言这个范围内，名称和变量是什么关系，是同义词吗？@linyinfeng

[ryan4yin]

我修改了一版，各位看看是否可行吧。

[clsty]

官方文档的这句：“A let-expression allows you to define local variables for an expression.” ，我后来又想了一下，local variables 即“局部变量”虽然可能引起误会，但未必错误。局部是相对的，一个变量可能会比另一个变量更有局部性，并不是说只要提到局部变量就必然存在全局变量。

就像“这种事我做不到，毕竟我能力有限”，“有限”也是相对的，存在“比较有限”和“非常有限”的这种对比，但并不存在一个能力无限的人。