仓库源文

本项目旨在重现「木兰」编程语言的语法和功能,已开源在码云。所有例程演示的语法可以用原始的木兰可执行文件 ulang-0.2.2.exe 检验。如发现有异烦请告知,定将礼谢。

上篇演示了 $ 在木兰中的部分用途。在开源中国的木兰更新资讯评论区,有几位提出木兰和 PHP 中的 $ 用法有很大不同。

这几天基本重现了至今发现的 $ 在木兰中的语法功能,本文逐一介绍。以后有机会再尝试与 PHP 作对比。

木兰的 $ 与 self

木兰编程语言中, $ 的语义是 self。但木兰的 self 与 Python 相比有拓展含义。

多数情况下,$ 都可用对应的 self 语法代替。下面先介绍这部分语法。

1 self 可代替

1.1 类型之外

Python 中的 self 仅在类型中使用,木兰可在类型外使用。self() 返回当前线程(下面带 > 的是在木兰交互环境下运行的结果)。

> println(self())
<_MainThread(MainThread, started 140735684096896)>
> println(self().ident)
140735684096896

$() 并不允许,因为单独的 $ 不是可识别的标识符。

可以如下定义与引用属于当前线程的变量,与全局变量不同:

> self.x = 1
> self.x
1
> x
(..•˘_˘•..) 请先定义'x'再使用位于第1行

对应到 $ 的用法就是:

> $x = 1
1
> $x
1

1.2 类型之内

上篇演示的用途,包括类型内变量与方法、单独使用,都可用 self 语法代替,而且 self 的语义与 Python 相同。本周复现了一个不能用 self 代替的语法,见下一部分。

2 self 不可代替

2.1 可用关键词命名变量

与 PHP 类似,带 $ 可以用关键词命名变量:

> $while = 4
> $while
4

而用 self 则不允许:

> self.while = 3
(..•˘_˘•..) File "<STDIN>", line 1:6, unexpected token "WHILE"
self.while = 3
     ^
> self.while
(..•˘_˘•..) File "<STDIN>", line 1:6, unexpected token "WHILE"
self.while

2.2 应变属性

应变属性(attr)相关语法对应 Python 中的 @property 和 setter。这里起名“应变属性”是因为 attribute 和 property 的含义区别很微妙,暂时未找到合适中文与类型内一般属性变量作区分,于是用功能特点命名。下图左边为木兰,右边为 Python 同功能代码,重点在三个 attr。这部分功能未发现可代替的 self 语法。

后感

作为未参与木兰原始设计的第三方,仅从复现出的功能很难完全领会设计意图。就个人感觉,木兰的 $ 相关语法设计简化了 Python 的 self 相关语法。对 self 的语义拓展虽然看似信手拈来但也有合理之处。是否对多线程有特别好处待研究。

请赐教。


附录:代码量统计

主要部分的代码行数统计,格式为:上次->现在。