duangsuse::Echo

我们来对比一下迫真易语言的『容易度』和绝句的『容易度』这里易语言的代码风格我参考了 Kotlin(1space) 的格式。引入 apr; 公开类启动类 { 公开静态启动() { 整数数量; 控制台.输出行("请输入将要生成的随机数个数:"); 数量 = 控制台.输入整数(); 随机数集合.显示(数量); 随机数集合.显示(); } } 公开类随机数集合 { 公开静态显示(整数生成个数=10) { 字节集临时字节集; 整数 I,J; 内存池局内存池…

我吃饭回家路上考虑了一下

首先为了能够实现

函数，〖x0〗x0。
函数，〖x0〗
  x0

这种逗号表示法的形式，这个样子的逗号表示法类似：
逗号块(逗号修饰, 体)……

同时，我也终于决定抛弃了逗号表示法的 {} 替换：

若p { op0() } 否则 { op1() } “不允许。”

毕竟绝句不需要像 Haskell 那样 \case ox (Some x) -> 切换布局块和非布局块版本的语法，逗号表示法「，、。」是比较简单的。
现在这个开闭符号是『reserved』了。

然后，绝句也可以利用记法、扩物和内联的物兼容传统汉语的表示形式（比如『把(x)加进xs』）
这个扩展将在标准库的 绝句.严格中文 里实现。

然后，绝句的相对Kotlin的一些语法扩展：

「为」布局定义、「其中」布局定义、逗号表示法、第二|三人称的「你」「它」、「的」「去」、『记法』和「」中缀链、『』名字、【】注解、汉字数值常量表示。

""" 为 是对 raw string 的布局化扩展，之间区间 (0,1) 个空格，多了不算。
关于其中是否支持 $, ${} 一说，Kotlin 是支持的，不打算改变。

逗号当然也包括顿号的。比如：

对用户里的，好人里去划掉(它)、坏人里去划掉(它)。

一些常见语法：

对…里的(名)……
对…里的你…… “第二人称”
对…里的…… “第三人称”
~~若你… …… “第二人称「若」”~~ （删掉，这个语法其实是冲突的，而且在正常代码里也无必要。
【无参注解】
【带参注解 参0、参1、...】

判断……
判… ……
（「它」第三人称中缀简写）
判属… ……（于、它）
判存… ……（于、它）

所有判断都可以有语句形式和表达式形式，表达式形式的分支必须有穷举性。
「、」是逗号表示法里常见的语法，只不过不同结构有不同表现形式。
提供的「上皆……」都是副作用的形式，表达式里不允许。
「否则……」在表达式里也允许，这时预期的不是效果而是值。

一些规范化修订：

解量、解对、判属于、判存于、「空则」逗号表示法

重复若、重复……若。

绝句的面向文件定义结构：

包、记法（定、引）、引(成)、引全(除)
属别名、类物别名、常参、类、物（造于、初）、例、事、量（取者、置者、代者）、变参。

突然想起来，:: 是引用文件级事和架构器？
架构器不是函数？？？ 🤪
那么就没必要区分属别名和类物别名了，都一样。

我决定了，第一设计稿应该把「变参」初始化的

= Expr

改成 初 Expr，要不然显示不出参量变化的精髓。
变参现在是

变 属名 角括名字 初 Expr
变 属名 名字 ws1 初 Expr

（变数和初0）
的形式

还有，「包」在汉语里不应该还是原来的 package (qualified-name); 形式

包 (复名) 为

这样（其中，复名是复合名称的意思）

PKNF(ParserKt Normal Form) 是一种形式化文法描述语言，它可以为 ParserKt 生成有效化、优化的代码（比如合并前驱、分支遮盖式前驱重排序）
合并前驱的功能可以让

变 属名 角括名字 初 Expr
变 属名 名字 ws1 初 Expr

变成利用 ParserKt 递归下降上下文相关解析来判断翻译成类似这样：

变量 ('变' 属名)|变参 后继:(anychar) where
  后继:(run c) caseA|caseB
  caseA lookahead:('『' ) 角括名字 '初' Expr
  caseB 名字 '初' Expr

它只需要能够对任意两个子结构取 succeeder union （交集）和 succeeder complement （补集）就可以启发式合并分支了

complement 角括名字 名字 = setOf('『')
complement 名字 角括名字 = setOf()

— 所以只要出现的字符是'『'，就只可能是角括，否则只可能是普通名字。

但是PKNF开发比较复杂，而且理论上的很多东西暂时不完善（也别指望它们太完善）
所以一时间ParserKt是不可能用上PKNF来定义自己的上下文敏感语法的，尽管PKNF已经被我完全形式化定义好了（以它自己描述它自己……），要用可能是一年后了。

令做(run)、令为(let)、令置为、顺手(also, (T)效果)、交给(支持 (T)* 的 also)
有若(takeIf)
成文(toString) 成码(hashCode)

滤出(filter)、映至(map)

存一(find+不空)、存仅一(single)、皆是(all)、皆非(none)

后来我发现它们有点不规范。
令为(let)、令做(run)、令试(runCatching)、顺便(also)
有若(takeIf)、有非(takeUnless)
对(to)
化文(toString)、化记码(hashCode)
滤出(filter)、映至(map)
存一(find)、存仅一(single)、皆是(all)、皆非(none)

apply, use 比较让中国人不明所以、with 已该被换为let。

—取此即值(get)、置值于此()
……我突然觉得绝句的『直接值代理』有很大问题了，我不知道它是为了什么，根本不应该让程序员能够做出这种定义。
代为取值(getValue)、代为置值(setValue)

语言结构方面，术语统一为：
常量(literal)、言(expression)、句(statement)、体(block)、构(syntax structures)、书(file)

然后继承方面，顶部类型最好还是『分配』而不是值（即便这样有点『结构化编程』式了……）。

包『绝句』为
开放的物『分配』为
【内建】、待例、算符的事 问全等(另：分配)
类『可度』为
  量 大小：计数
扩物『可度』为
  记法「之为」的量 之为空 “……”
类『可度长』为
  量 长度：计数

本来我打算让 none 变成「存零」的，可是那样 all 就不好命名了，只好引入记法「皆」。

未来绝句标准化到一定程度后我会开始考虑如何将他实现，以何种单位编译、要翻译到什么语言。

rust 在还没有编译器的时候，它的第一个编译器被起名为 rustboot
虽然绝句还不能怎么样呢（大概可能只暂时会做符号解析的工作）
我觉得，第一个只能输出Kotlin源代码的翻译器就叫『绝句序』吧……

43 viewsduangsuse, edited 13:02