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

原创
2021/02/25 11:12
阅读数 794

前几天在用木兰写 同步多个 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*43*3+4*4 两个表达式的结果相同。

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

展开阅读全文
加载中
点击引领话题📣 发布并加入讨论🔥
打赏
0 评论
0 收藏
0
分享
返回顶部
顶部