#Kotlin Write once in one language, run anywhere on all platform.
编程就应该是这样，语言表达无关、平台无关，什么『专有』…… 都弱暴了！ M$ 之前那么宠 C# 和 .NET，最后还是只能给它官方开源跨平台了呵，不是想弄成Windows专有的技术么。

#dev #PL #statement 今天好不容易天晴了，那就随便谈谈程序设计上的一些知识吧。

说的是『表述式(imperative)编程』和『定义式(declarative)编程』，它们是编程范式(programming paradigm)中区别最明显的两种。
偶尔，表述式也被称为『命令式』，定义式也被称为『声明式』。

如果让表述式的程序员写一段『把大象塞进冰箱』的代码，其中利用外部抽象『打开、塞进、关上』，他们会这么写：

事 入口() 为
  打开(冰箱的门)
  塞进(冰箱的里面、大象)
  关闭(冰箱的门)

当然 *程序=数据结构+算法* ，我这里没有提到关于冰箱、大象的数据结构抽象建模方式，不过我也没有（为了简化讲解目的）过分实际到连 打开(物体) 都没提出来，只有 打开冰箱门() 的程度。

如果让定义式的程序员写呢？

事 入口() 为
  塞进里面(冰箱、大象)
事 塞进里面(容器：物体、此物：物体) 为
  打开(容器)；塞进(容器的里面、此物)；关闭(容器)

想想看，如果我们又要求在塞完大象后，放一首歌 比如，《亲爱的大象》 会如何？
如果我们的 塞进(物体、物体) 编程接口，可能（基于异常系统或是分情况的数据结构地）失败会怎么样？失败了第一是不能放那首歌，第二是不能异常退出整个程序。

（这里假设我们使用的是有自动内存管理，而无须指针弱引用啥子的语言）

量 歌者：播放器 = 播放器()
歌者去加载(文件("大象大象.wav"))
歌者的位置 = 0
歌者去歌唱()

我们讨论的问题比较抽象，但利用编程语言提供的表达式、程序和数据对象定义、基本控制结构组织这样的程序，就是我们的日常工作。

那么具体修改完的代码我就不贴了，因为实在有点长，但是我们肯定能预见到，表述式的程序员直接复制粘贴以上代码，而定义式的程序员又会定义出新的子程序(subroutine, sub-procedure) 事 播放音乐文件(路径：文) 。

其实一句话可以总结这两种编程风格（我本周的文章也会说到）
*『表述式越写越复杂，定义式越写越简单。』*

这里我们能够看出他们最大的区别，就是表述式的程序员喜欢「直白地」表达程序，而定义式的程序员喜欢抽提（抽象、提取）重复的程序逻辑，所以哪怕是我们要求再加音乐播放的功能、再要求塞大象进冰箱的子程序可能失败，都不会使得代码冗杂难看，不会进入所谓的『嵌套地狱』。

同样地，他们会努力地提升代码的可读性，也只有用定义式的思路编程，你才能设计出解决回调(callback)嵌套地狱的Promise异步任务抽象，而表述式的程序员则只会抱怨它难看，而不知道或者懒得去想到，其实有改进方法的。

你是表述式的程序员还是定义式的程序员呢？相信许多人会觉得表述式和定义式不分高低。（其实我上面说的『表述式』『定义式』也不是准确定义，而是说它们的使用者经常的编程风格，从某种意义上就是它们的『编程风格』）
不过，我个人觉得，不管是C、VisualBasic这样的『表述式编程语言』还是Scheme、Haskell这样的『定义式编程语言』，都不要忘记经常重新检查自己的代码，尽可能自然，而不是「简单」地描述你的程序。

要记得，真正的少写代码是使得它更好看、更少冗余，而不是在起名字上花费心思，最后弄得大家都看不懂，这也是Kotlin实际上的编程风格。

这不是智商低的表现，相反它是清清楚楚地认识到了自己和别人的智商、精力有限，抱持对软件和其他有兴趣查看源代码的人的善意，而对代码的质量格外地珍惜。
虽然『代码』实现只是软件里很小的一部分，在信息技术里也不是最关键的问题，我真心希望大家以后编程的时候，都要注意呦。

其实这里我也可以再顺便扩展地说到面向对象范式的内容的，也可以关于『编程是什么』这个问题说点观点，可是好像属于跑题内容……


浩哥也说过这个话题

#project Binarie 的（字节序上）『莫名其妙的问题』已经被确认为泛抽象数据结构（机器数的 shl shr and）编程失误，顺序没搞明白，pop_right 了 byte 导致 integralToBytes 的输出顺序是反的 0123 -> 3210。
E2im-2 基于标准输入输出流协议的一个细节（准确的说，是我『面向调试编程』导致的…… 很羞愧），多输出了换行符的问题将在明天修正。

#PL 绝句考虑了一下是不是要区分“”双引单引‘’的注释/文档，后来我觉得，单引号是文档更好。
因为它显得更有『语言结构表达特质』一些。

至于一维列表是称为行还是列，最开始我确定的是列，可又总感觉理论上不是很统一（因为绝句里还有『行列』），我得到时候好好思考斟酌一下。

介于行一般是横着的，代表x轴，一般位图下标是 bitmap[y][x] 的形式出现（我觉得很好看，我只要我以为，不要你以为……）
而列一般是竖着的，代表y轴

这样看就是『列行』了…… 那就列行吧

……我还是觉得，不要用『列』好，免得分不清。

昨天晚上睡不着（一想到有大学生弄了算是同类的东西，而且是大学生有一整周的时间光明正大弄而我每周只有不到三天，实在是有点莫名难受）

然后我又考虑了一下之前这么写的 lambda parameter:
https://t.me/dsuse/11778

宫水家.找，她：她的名字是"三叶"。手机上的最近聊天记录.数，它的发送者是泷。有若「大五十」 空则，抛下沃日

现在因为「：」的语义改成和 「:」 一样了（准确的说，我已经决定不允许使用半角的 ':'，实际上这周我在学校里还好好考虑了一下全角/半角的可置换性，我的结果是：完全不允许，但解析器得查出这种错误）
（而现在唯一可以同时用在程序表达式和构造定义里的符号，就是小写括号了）

所以我不得不换个方法，于是我翻了翻常用中文符号，

宫水家去找，【她】她的名字是"三叶"。手机上的最近聊天记录去数，它的发送者是泷。有若「大五十」 空则，抛下沃日。

这么写还怪好看的。
之前就确定的是 Annotation 咱就用 【】 来。

语言上的标签我觉得其实也是可以用中文括号的（而且中文括号真TM多啊）
开始考虑的是〔〕。其实也没啥问题。

对[楼] 此楼里的家，对家里的这人，
  若这人的包里有枪，去报告(警察、这人)、略过[楼]。

—

对〔楼〕此楼里的家，对家里的这人，
  若这人的包里有枪，去报告(警察、这人)、略过〔楼〕。

可我觉得蛮没有必要，绝句里有「」表示中缀、『』表示名字、{} 是可选的逗号表示法替换（为了语言一致性，我也不想让那些程序员写东西有时「为」有时 「{}」……）、…… 等等

https://github.com/LingDong-/wenyan-lang#syntax-cheatsheet
如果你去看「文言」程序设计语言的reference，你会发现他们一个语法有很多表现形式，比如

批曰。「「注释」」。
注曰。「「注释」」。

关于绝句是否也要加入同含义多表现形式这点，我持否定态度。
绝句的语言一致性是很重要的，即便只是注释这点我也不会同时允许“” ‘’ /**/ {--} 作为注释起止存在。

然后我还考虑了一下之前的「变长」修饰符，我觉得它应该被改成「多个」

对何<项>皆有
【只可内联】的事 行一(变长的 项目：项)：行<项> 为 “Kotlin listOf(…)”
  量 此行：行<项> = 行()
  对项目里的，此行去加(它)。回此行

—

【只可内联】的事 行一(许多的项目：项)：行<项>……

新风格。
顺便说一句，发现「文言」语没有布局文法（就是绝句的「为」「」）以后我忍不住欣喜了一番。你怎么那么欠打

吾有一術。名之曰「吸星大法」。是術曰。⋯⋯是謂「吸星大法」之術也。

这实际上就是比较普通，而且在解析器设计上和 () 这种括号没本质上的区别的 {} 花括号，主要区别在于 () 用于 group 表达式、{} 用于 group 语句。

吾有一術。名之曰「翻倍」。欲行是術。必先得一數。曰「甲」。乃行是術曰。乘「甲」以二。名之曰「乙」。乃得「乙」。是謂「翻倍」之術也。

—

事『翻倍』(甲：数)：数 = 甲*2 “跟括号式的名字后不用加空格”
“或者，”
事 翻倍(甲：数)：数 为
  量乙 = 甲*2；回乙 “知道我为什么用「量」而且区分了「量」和变参吧？存储和「临时值」实际上有不同的”
“或者，”
事『翻倍』(甲：数)：数 = 甲去乘(二)令为，〖乙〗回[令为]乙。

文言的创意虽然很好，但我发现他的作者貌似是 JavaScript/Ruby/Python 系的程序员，而且会基本2D绘图编程。

我是函数式的程序员，所以有机会设计出基于布局的文法，以及中缀链「」来使文法更方便阅读，但 JavaScript 系的程序员是想不到的，哪怕他们也会写许多算法。因为无论 JavaScript(ES6)/Ruby/Perl/C/C++/Java/C#…… 等语言都没有支持布局，虽然Python支持了但…… 不是很好看，想直接移植到中文也总感觉缺了什么。自以为设计的逗号表示法是相当好看而且有用的，尽管其实是扩展自Kotlin对「代码块」和「闭包块」的相同表现形式。

吾有一術。名之曰「埃氏篩」。欲行是術。必先得一數。曰「甲」。乃行是術曰。
吾有一列。名之曰「掩」。為是「甲」遍。充「掩」以陽也。
除「甲」以二。名之曰「甲半」。

有數二。名之曰「戊」。恆為是。若「戊」等於「甲半」者乃止也。
有數二。名之曰「戌」。恆為是。若「戌」等於「甲半」者乃止也。

乘「戊」以「戌」。名之曰「合」
若「合」不大於「甲」者。
昔之「掩」之「合」者。今陰是矣。
若非乃止也。
加一以「戌」。昔之「戌」者。今其是矣云云。
加一以「戊」。昔之「戊」者。今其是矣云云。

吾有一列。名之曰「諸素」。
有數二。名之曰「戊」。恆為是。若「戊」等於「掩」之長者乃止也。
夫「掩」之「戊」。名之曰「素耶」。
若「素耶」者充「諸素」以「戊」也。
加一以「戊」。昔之「戊」者。今其是矣云云。
乃得「諸素」。
是謂「埃氏篩」之術也。

施「埃氏篩」於一百。書之。

这个素数filter，用绝句一般的写法（也基本算是Kotlin一般的写法）
表述式该这么写（绝句的『存储』抽象在原型阶段是还没设计好的，另，我刻意对照了上贴代码的结构）：

事 埃氏篩(x：数) 为
量 掩：行<真假> = 行(x)，假。；对掩的索引里的针，掩[针]=真。
量『x半』 = x / 2
变数 i = 2；重复， “如果不想写类型也可以 变参i=2”
若i是『x半』，停下。
变数 j=2；重复，
若j是『x半』，停下。
量 此积 = i*j
若此积不大x，掩[x] = 假。否则，停下。
继续。j=j后
继续。i=i后“若真。”
量 诸素：动行<数> = 动行(x)，零。
量 诸素子：变迭子<数> = 诸素去变迭代()
变数i=2；重复，
若i是掩的末引，停下。
量 此为素 = 掩[i]
若此为素，诸素子去加入(i)。
继续。i=i后
回诸素

事 入口() 为


  去::埃氏篩.用 “也可以说「去::埃氏篩去用」” (100) 令为(去::说) 

也可以按照绝句一般的（表述式）编程风格：

事 埃氏篩(x：数) 为
量 非掩：动组<真假> = 组(x)，真。
量『x半』 = x / 2；量『二启数』 = (2..数的无穷大)
对二启数里的 i，
若i是『x半』，停下。
对二启数里的 j，
若j是『x半』，停下。
量 此积 = i*j
若此积不大x，非掩[x] = 假。否则，停下。
量 诸素：变行<数> = 行一()
对二启数里的i，
若i是掩的末引，停下。
量 此为素 = 非掩[i]
若此为素，诸素去加入(i)。
回诸素

也可以这么写，我数学不好就不继续转化成定义式风格了。

引记法 绝句.符号 「止」

“始末是 right-inclusive、起止是 right-exclusive，注意『起止』不能在不加方括的情况下作为名字”

事 埃氏篩(末：数)：行<数> 为
量 此为素 = 动组(长=末)，真。
量『末半』= 末 / 2
量『二止末半』 = (2止末半)
对『二止末半』里的 i，
对[试j]『二止末半』里的 j，
量 此积 = i*j
“若此积不大x，此为素[x] = 假。”
变参 可止 = 假 “瞎写的”
此为素[此积] = 此积大x 顺便，
若它，可止 = 真。
若可止，停下。
“否则，停下。”
“若此为素[此积]，停下[试j]。”
量 诸素：变行<数> = 行一()
对『二止末半』里的，
若它是『此为素』的末引，不可能。 “断言了。”
若此为素[它]，诸素去加入(它)。
回诸素

当然可能有写错的…… 特别是集合可变性……

文言的恆為是。…… 在绝句里就是 重复若条件…… 这里条件=真
上面的重复……继续。 权当我没写过。
你们也看到了，其实很多循环就不该写成无限+控制流break的形式，此外『重复若真』也的确是有那么一点感觉。
绝句永远是为 90% 的情况优化，不可能为了一个极端情况加特定语法，我们不想变成C++或者Python。
此外，绝句的 do while 是 重复…… 若…
「重复」跟的就是「若」（而不是「当」，因为那么做不好区分 while 和 do while）

变数 i=0；重复若i小10，i = i后。“i=10”

变数 i=0；重复，i = i后。若假 “i=1”

变数 i=0；重复若假，i = i后。 “i=0” 

while 就是 if (p) 版本的 do while，当然控制流上是类似这样：
do_while:
operation
br.not :out
jmp do_while
out:
// merge

while:
br.not :out //notice this
operation
jmp while
out:
// merge

对应到控制流上「重复」「若」也是相当好看的，「重复」就是上面的 :while, :do_while 指令偏离量标签和后面的 jmp、「若」就是 br.not :out 判断。

http://wenyan-lang.lingdong.works/ide.html?example=factorial

看了许多example，算法欧几里德服气。

其实我真是蛮酸的，尤其是看到自己的无人问津（当然我不怪Telegram）和CMU高材生的后生可畏。

他们是大学生啊，我可是高中在读的很不称职的高中生啊，羡慕人家的光明正大。

现在还得弄Binarie和ParserKt，绝句虽然最近就可以设计，也只能暑假开始了，我完成至少是ParserKt才可以动工（还好，ParserKt的DSL，PKNF, ParserKt Normal Form暂时不需要动）

设计也算不上，其实就是归纳下之前的设计，不归纳的设计都是渣设计、不抽提的编程都是写屑代码。

https://github.com/swizl/tinycc_zh

虽然还有其他的事情，为了方便整理绝句的设计，我把一些类C的关键字枚举一下……

— 数据类型
void - 空 = 例 绝句.效果
bool - 布耳 = 真假
char - 字(8-bit unsigned) = 无符字节 “目前当然是Kotlin有所以我们才有”
signed char - 有符字(8-bit unsigned) = 字节
short int - 短 = 短数 “无符情况都是一样”
wchar_t = 字儿
int - 整 = 数
long int - 长 = 长数
float - 单精 = 浮数
double - 双精 = 实数
char * = 文

属别名 计数 = 数
属别名 引数 = 数

— 子程序局部语言结构



— 控制流

if = 若
else = 否则
switch = 判…，
case = ✖️ “这是绝句里的 when 文法，是C式switch的扩充。”
while = 重复若
do …… while (…) = 重复…… 若…
for = 对…里的〔名〕…… | 解对…里的(模式)……
break = 停下
continue = 略过
return = 回
goto = ✖️

— 小语言构件、修饰符等
extern = 待例
static = ✖️
signed = ✖️ unsigned = ✖️
short = ✖️ long = ✖️
const = 常参
volatile = 【并行易变】
register = ✖️
auto = ✖️ “绝句和Kotlin一样是自动类型推导的强类型，而C99里auto只是storage classifier，一般认为完全没必要写，都是栈上分配存储空间”
inline = 内联
restrict = ✖️ “要限定直接用 组<T> 动组<T> 的分别就可以了，实在不行还可以 组<出T> 基于生产消费模型的型变性和集合可变性安全”

— 大语言构件
struct = ✖️ “绝句1.0 应该会弄出 存储<T> 和 分配 的抽象来，这样 struct 直接继承自 分配 而不是 值 就可以了”
union = ✖️ “绝句包含面向对象范式，应该使用子类型而不是不明确的并集类型实现union”
enum = 例物 “enum class”
typedef = 属别名 “绝句里，类型被称为「属」，和「类」「物」是有区别的”
default = ✖️ “在 when 里，fall thru 直接用「上皆……」实现，default 就直接是 else（否则）”
sizeof = ✖️ “除非绝句未来特别兼容Native，否则不会提供，况且提供也不会作为关键字，绝句语言设计上对添加语法糖是很克制的。”
attribute = ✖️ alignof = ✖️ typeof = ✖️
asm = ✖️ “attribute 就是Java的Annotation，绝句是支持【注解】语法的，其它的没有意义。”

预处理器：
define, undef, include, include_next (覆盖header定义)
ifdef, ifndef, elif, endif
defined,
error, warning, line, pragma,
VA_ARGS, COUNTER

以及文件、函数、函数名、行号、编译的日期和时间

通通都无效。不过绝句倒是有「包」「定记法」「引记法」「引(成)」「引全(除)」。