duangsuse::Echo

不要说没自动化IDE，就算是有的时候碰见那种代码质量也会像吃了 💩 一样难受，如果有 bug 肯定要『平安夜，调试一整夜』喽。

36 viewsduangsuse, 09:44

duangsuse::Echo

足以体现抽提代码重要性

这就好像是赶一群羊，找到头羊就可以领着一起走，不然一堆代码各走各的，都不听你的。写起来简单机械一点，改起来看起来通通选择死亡。

Ctrl+V『写代码』一时爽，测试修bug火葬场。

36 viewsduangsuse, edited 09:45

duangsuse::Echo

🤔JavaScript 基于 ArrayBuffer 和 DataView 的兼容抽象部分已经写完，暂时不对其正确性作任何保证。
正在准备开源到GitHub。

31 viewsduangsuse, edited 10:06

duangsuse::Echo

🤔JavaScript 基于 ArrayBuffer 和 DataView 的兼容抽象部分已经写完，暂时不对其正确性作任何保证。正在准备开源到GitHub。

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

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

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

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

GitHub

duangsuse-valid-projects/Binarie

🐠 Cute functional style binary structure IO library for Kotlin - duangsuse-valid-projects/Binarie

57 viewsduangsuse, edited 11:02

duangsuse::Echo

Forwarded from duangsuse Throws

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

1 viewduangsuse, 11:47

duangsuse::Echo

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

30 viewsduangsuse, 11:54

duangsuse::Echo

🤔可悲不进步的 duangsuse 总是想弄一门自己的程序设计语言。可不管他怎么写代码，连一个有函数和局部作用域的计算器都弄不出来。于是他又准备设计一门…… 这个计算器是Lambda calculus的计算器。所谓的Lambda演算就是说，词法作用域(Lexical scoping)，不过我还给它加上了 Haskell 一样的 Currying。 Lambda 就是 \formals. body abstraction 不过 currying 的 lambda 只能有一个参数，\formals 需要foldRight才行。…

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

30 viewsduangsuse, 12:32

duangsuse::Echo

systemStack: 20 reports of: 12.580254ms, 529.422micros, ... min=129.954micros, max=12.580254ms, mean=824.48265micros, std=2.6990074188995345ms ascending: 129.954micros, 132.066micros, ... 25%=135.936micros, 50%(median)=154.33micros, 75%=217.637micros AdtStack:…

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

34 viewsduangsuse, 12:36

duangsuse::Echo

我们举一大堆输入示例，然后一步一步算。 1 — scanInfix() ?: return atomAt0 1 + 1 — op1=(+), [Base(1)], rhs1=1, [Base(+ join 1, 1)] 1 + 2 * 3 — op1=(+), [Base(1)], rhs1=2, op2=(*), [Tail(1, (+)), Base(2)] 看到了吗？上面 ^ 就是第一个『等待结合』的情况，我们又回到了「递归」的原点 — 一次递归扫描的开始当然，这里我们的 tail 会直接…

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

32 viewsduangsuse, 12:39

duangsuse::Echo

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

29 viewsduangsuse, edited 12:41

duangsuse::Echo

既然都这么弄了，还不如直接把优化写成代码算了……

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

27 viewsduangsuse, edited 12:46

duangsuse::Echo

看了某位大佬的 reley （一个类似 Haskell 编译到 Python VM Bytecode 的程序设计语言）我觉得，其实 Java 和 Kotlin 的 package…… 都不利于代码的简洁性，我是好好想了一会的，其实未必没有办法引入『导出』文法，代价是，必须去掉包声明，不然不好看 ……还是留着吧，毕竟 Java 系的不是 Haskell 的风格绝句还不是绝句Script 呢。不过我觉得可以给「包」声明一个扩展： — 数域.jue 包绝句.区间，物，节域、短数域、数域、长数域、…

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

25 viewsduangsuse, 12:56

duangsuse::Echo

运算符：前、后 (dec/inc) +（加）、-（减）、*（乘）、/（除）、%（取余） -~（取负）大(>)、小(<) 不大(<=)、不小(>=) — 这一行括号里的表示法仅参考用汉语里就不要用小于号、小于等于了。取负的 -~ 只是注释，绝句不存在前缀记法，只有前缀算符 &（且） |（或） !~（取非）（异） — 只有真假类型有绝句的且或非逻辑都是短路计算的，也就是说假 & 不可能, 真 | 不可能我相信，既然绝句已经改了这么多了，不会有人觉得让 (&) 官复原职很奇怪第一眼看了…

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

24 viewsduangsuse, edited 13:04

duangsuse::Echo

关于汉字数值怎么读这个问题，我这里提供一个算法： fun <A, B> Iterable<Pair<A, B>>.toMap() = this.fold(HashMap<A, B>(10)) { m, vi -> val (v, i) = vi; m[v] = i; m } // 上面的函数其实 Kotlin 标准库也有 val 汉位至数: Map<Char, Int> = "零一二三四五六七八九".withIndex().map { vk -> vk.value to vk.index }.toMap()…

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

23 viewsduangsuse, 13:16

duangsuse::Echo

dnaugsuz

这个问题我可以到时候弄出我设计那个语言第一个编译器的时候再找其他人谈谈，之前我没考虑过 break 什么的类型级别可以是 Noting 这件事…… 我之前以为 Kotlin 是不允许这样，但我得慢慢去想，举出实际使用例子来其实这也不是没好处，好像是可以放在 block(closure) 里面的，不过我也不是很确定。我打算设计的这门语言叫『绝句』，这里有一个简单的例子：引记法绝句.区间.数域 (投、换) 对何<项>皆有括物(我: 行<项>) 为私下、尾递归的事二分查找(你: 项、区:…

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

24 viewsduangsuse, edited 13:18

duangsuse::Echo

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

24 viewsduangsuse, 13:31

duangsuse::Echo

jue.txt

22.1 KB

30 viewsduangsuse, 13:31

duangsuse::Echo

jue.odt

30.3 KB

31 viewsduangsuse, 13:31

duangsuse::Echo

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

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

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

29 viewsduangsuse, 13:42

duangsuse::Echo

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

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

27 viewsduangsuse, 13:51

duangsuse::Echo

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

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

27 viewsduangsuse, edited 14:07

About

Blog

Apps

Platform