https://github.com/duangsuse-valid-projects/Binarie 已经开源

这周可能不会继续开发下去了，那对我的精力来说有点勉强……

目前为止，Binarie 的 JS Reader/Writer 部分已经完成，可是 JVM 利用基础 BasicReader/BasicWriter(待写) 和BitConvert的部分待补完

应该说开发过程也是有点意外的，我开始的时候不知道自己打算用ES6的DataView和Int8Array (ArrayBufferView)来进行BasicReader实现，也没想到MarkReset在大部分子类会以oldPosition的形式被实现，略微有点不适应。

#China #Low #PLT 😏中文编程也真是可怜。懂的人对它嗤之以鼻，一提到立刻说它是肤浅的、表面的，偏偏是完全不懂和半懂不懂的人稍微有点或空无一物或半通不通的『实践经验』
不知道是不是和之前的『汉芯』一样，因为易语言的4kw坏了名声？呵呵呵……但不管怎么样易语言的确是广为诟病了。

感谢之前某位细心观众提醒的用法 *?，我还以为只有加flag才能非greedy呢。

才发现原来那个 #PL 稿在这里啊…… 我还以为没抄到网上来呢

这是中缀链解析和 NumUnits 单位 format，当然这不稀奇……就是descending accumulator div+mod，我后来又写了一遍……

这是中缀单栈解析的例子 #PLT

Lexical Scoping 我不用说吧，递归下降解析了解到 (lambda (a b) (+ a b)) 的 formals 里的 "a" "b" 与 body 里 (+ a b) 存在的1:1对应关系，就可以很自然地把他们联系起来了，之后怎么处理都好，例如像 Lua 一样把它们翻译为函数局部寄存器的编号，然后每次调用的时候给它们分配一对一的存储空间，caller调用侧和callee被调用侧都知道那个"a" "b"是指代哪片分配就好。

虽然那个栈的中缀链貌似很高级，而且貌似递归下降的在很极端的情况下输出和 JS 不同，但我还是觉得应该选它，至少它看起来很简单，只 (base, op_left) 两个递归参数就够了，最重要的是它使用的栈是在语言层面受到支持的，而且这个支持本身实现的也很优雅很妥帖（要不然那语言还有用么……）。

绝句开始的时候的「包」是这样的，和Kotlin一点的不像，可能是Kotlin要预备原谅了吧 😂

这是早期的（部分）定义了

这个就是汉字读取教学……

这可能是相当早的一个早期设计……

好了，我整理完了，包含两部分：代码和定义
待会我还要把 ParserKt JSON (jison) 的解析器定义代码也打印了

cat /usr/share/katepart/syntax/logohighlightstyle.en_GB.xml

这好像有分词高亮的，我考虑一下是不是可以……

绝句有些软关键字（就是仍然可以直接作为名字的，一般它们都跟在其他关键字后面）
不过没关系，可以全都视作关键字看待

https://kate-editor.org/syntax/data/syntax/kotlin.xml

牛批啊，这么说我就照着Kotlin的样子不需要几秒钟能定义 syntax highlight？ 🤪？？

package import sealed data class enum interface companion object private public protected internal open final get set fun var val constructor inline reified crossinline tailrec in out is as by where vararg get set return throw typealias typeof override infix operator if else when for while do try catch finally continue break yield this super null true false Unit Nothing String Char Int Long Byte Short Float Double Boolean

包 为 其中 引 引全 成 除
定记法 引记法 属别名 类 物 例 况物 储物 例物 记物 内物 内联物 伴生例
私下 族内 公开 内部
开放 终定 覆写
抽象 实现
待例 实际
内联 晚成
算符 尾递归
许多 跨嵌 不嵌
记法
若 否则
判 判断 于
对 解对 里的
重复若 重复 若
尝试 接迎 成 终焉
真 入 出
属 不属 作 试作 存于 不存于
回 抛下 停下 略过 断续
造于 我 亲
空 真 假
效果 断止 文 字
真假 字节 短数 数 长数 短实数 实数
取者 置者 代者
事 量 解量 常 变 常参 变参

哈，还好我肯定是理解状态机的，可是，绝句的 """ 为 是代不可枚举上下文的，没办法支持啊……

🤔突然发现那不是人手工维护的事，应该由某些工具自动生成。

https://kate-editor.org/2005/03/24/writing-a-syntax-highlighting-file/

我真是服了，这么多明显是机器做的东西他们搞个什么 detect2Chars, detectWord, detect... 还甚至lineEndContext, lineBeginContext，写Haskell规则的那位那么Haskell都没见能支持Indented Heredoc（当然词法阶段和目的也没法怎么样）
我开始考虑那种Heredoc虽然看起不错，是不是对许多语言工具都会产生大问题，还是去掉，和Kotlin一样trimIndent、trimPrefix好了……

dynamic if true, the context remembers strings/placeholders saved by dynamic rules. This is needed for HERE documents for example. Default: false.

好利害的样子啊…… 居然能够支持 heredoc…… 而且死板一点的 layout 布局文法也可以支持吧，不过那就是文法阶段的事情了。