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

[xuanwu]

原文：《从木兰的 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，但用过其他编程语言的用户就需要克服“思维惯性”来适应。算是有舍有得的一个例子吧。