从木兰的 1[0] = [0] 有感编程语言语法设计的舍与得

原文：《从木兰的 1[0] = [0] 有感编程语言语法设计的舍与得》

前几天在用木兰写 同步多个 git 仓库的脚本 时，碰到个熟悉的报错： TypeError：'NoneType' object is not subscriptable。于是照例试图将此报错添加到 之前的测试用例。

先试了 print(nil[0])，报语法错误，暂不深究，改为如下：

a = nil print(a[0]) 

如期报错。

如果 true 值，类似报错：TypeError：'bool' object is not subscriptable

再试了整数类型：

a = 1 print(a[0]) 

如期报类似错：TypeError：'int' object is not subscriptable。

顺便一试 print(1[0])，结果，输出了 [0]！

@_@ 咋回事？？

一时没头绪，照例看它生成的 Python 语法树：

 [略] args=[BinOp( left=Num( n=1 lineno=1 col_offset=7 ) op=Mult() <---- 乘法 right=List( elts=[Num( n=0 lineno=1 col_offset=9 [略] 

这才想起半年前发现木兰对 省略乘号的乘法支持，自然也适用于整数与数组、字符串的乘法。在木兰交互环境演示如下：

> 长=4;宽=3 > 4 长 + 3 宽 25 > 2[0] [0, 0] > 3"鹅" 鹅鹅鹅 

回头看此语法，仅当数在表达式前时成立，似乎没什么不妥。但对比下面这两个用法，就觉得有些别扭。

> a=1 > a[0] TypeError：'int' object is not subscriptable，见第 1 行 > 1[0] [0] 

对比 Python 下的行为，看着就比较“一致”：

>>> a=1 >>> a[0] Traceback (most recent call last): File "<stdin>", line 1, in <module> TypeError: 'int' object is not subscriptable >>> 1[0] Traceback (most recent call last): File "<stdin>", line 1, in <module> TypeError: 'int' object is not subscriptable 

空值和布尔值也是类似。

感觉木兰似乎在这点上是违反了一个“潜规则”（请教相关编程语言术语是什么呢？）：表达式中的变量可以替换为一个常量，而且得到的反馈应与变量为此值时相同。比方 a=3; b=4; a*3+b*4 与 3*3+4*4 两个表达式的结果相同。

木兰选择支持更接近数学表达式的效果，比如 3a+4b，但用过其他编程语言的用户就需要克服“思维惯性”来适应。算是有舍有得的一个例子吧。