命名难，难于上青天

starwing83

OwnWaterloo 发表于 2012-02-18 11:15
回复 225# starwing83

>> 另外这里不能写arg，arg映射的是argc和argv，...映射的是实际传给文件的参数， ...

擦，你个lua盲，...是lua51引入的！

可以H-M嘛……怕什么，实在不行可以这样：

local a:int, b:int, c:int = ...

当然这就不是lua了

OwnWaterloo

回复 232# starwing83

H-M这么高端的东西，我怎么理解得了……

starwing83

OwnWaterloo 发表于 2012-02-18 11:22
回复 228# starwing83

>> PS：那些我没忘啊，你难道没看出来重点么？重点是share啊！！！python需要box ...

可是目前看来，local-default够失策的，唯一用它的python和ruby，ruby作者已经明确表态这是最大的设计失误（网上看的），而python先加了global再加了nonlocal，实际很不方便（local情况是比较多，但是upvalue更自然——好吧这又是个人品味问题）

看看roberto的语录吧：“local-default肯定是错误的，也许global-default也是错误的。我们只是用了一种相对省事的方案而已”（大概意思吧），perl是个语言学家设计的。就必须显式说明到底是啥……（不过本质上还是global-default的）。

starwing83

回复 233# OwnWaterloo


     只是理解的话并不难啊，H-M说白了就是类型推导，只不过是个特定的推导算法而已（先设置所有变量类型为any，根据已知信息迭代逐步减少any的数量，最后仍然是any的作为模板参数）

starwing83

回复 231# OwnWaterloo


    我就是再说这个问题啊！我认为不应该允许替换函数实现。

OwnWaterloo

回复 234# starwing83

>> local情况是比较多，但是upvalue更自然——好吧这又是个人品味问题）

如果确实是local的情况比较多了，还有什么好说的呢……
ruby与lua作者的态度，就是你说的个人品味问题了……


喂…… 不要说python了…… 谈它伤心……
还是说lisp与C的本质不同吧……
至少到目前为止，谈到的那些不同都还没伤害到lisp的精髓……
退一万步，真的就像lua那样让+,-,*,/内建了又怎样？ 再多内建几个又何妨……  lua有这么多操作符让你内建么……

OwnWaterloo

回复 236# starwing83

>>     我就是再说这个问题啊！我认为不应该允许替换函数实现。

包括lua里，也不应该允许？
那你说的很多项目都有自己的print实现又是？ 他们是不是都用错了……

OwnWaterloo

回复 235# starwing83

我被haskell整怕了……

starwing83

回复 237# OwnWaterloo


    我们最后在讨论一遍local-default和global-default的问题吧。

事实上现在lua已经没有global的概念了。我们就当_ENV.x是global好了。

别的都讨论过了其实，我们考虑这么一个情景：

local x = 10
_ENV.x = 20
x = 30
_ENV.x = 40

这个情景（local/global混用）Python做不到（不好意思又讨论python了……）除非：
x = 10
global x = 20
x = 30
global x = 40
你注意到了么？几乎完全一样！你如果需要满足这种情形，你必须每次都写global，这一点local-default和global-default是一样的！（前提是Python再发布一个补丁支持这种语法…………好吧你又伤心了……）但是你发现没，其实第一种写法就多写了一个local而已……但是你知道_ENV.x是个语法糖，实际上如果不交叠使用，就会变成这样：

x = 10
x = 20


global x = 10
x = 20

和第一个几乎一样。这才是正儿八经的global-default（完全的和local-default等价，而python至少目前不是的），但是，除此以外，global-default在使用upvalue的时候**必须**采用nonlocal！

总结一下，其实区别很微妙：
- global default有三个关键字，global、nonlocal和不写，在表示三种情况时都是必须的，在特殊情况下每次赋值都得写。
- local default有三个关键字：local、_ENV.和不写，在表示三种情况下_ENV是可选的，在特殊情况下只有_ENV每次都得写。

稍微稍微简单了点点，不过付出的是每次local都得写，而local比较多，仅此而已。

所以你说是个人品位问题也没错，不过这个归根结底还是不太一样的。

starwing83

回复 239# OwnWaterloo


    我也是，编译信息就没有看懂过……