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

【项目开源在 Gitee：木兰编程语言/mulan-rework】

前几天在用木兰写 同步多个 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 "", line 1, in 
TypeError: 'int' object is not subscriptable
>>> 1[0]
Traceback (most recent call last):
  File "", line 1, in 
TypeError: 'int' object is not subscriptable 

空值和布尔值也是类似。

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

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