duangsuse::Echo

^1笑点解析 #linux rootfs容器化的潮流下，$ mount 跟不上时代了 apt-get; systemd 做梦也没想到有人把挂载当cp 和pm2用 😅，效仿 apk, Magisk 了，直接放弃文件读写（其实就是OS提供给 read,write,readdir 函数的 hook ，archlinux 一直是如此做 PKGBUILD ，玩得这么花不就是为了免 systemctl start 免分渠道发包呗天下苦OS碎片化久矣 ^2 #plt #learn CPS变换=ES6无栈协程=自动传回调…

#design #plt 看 Svelte runes 有感。谈一些个人梗

《献给sets变量集和cat-cut等价性的悼词》

一个基于JSON调用图的跨语言虚拟机，所支持的函数逆运算，似乎让 Eqs(cat=toStr,cut=parseInt).flip.oncat("10", *2) 取代序列化的荣誉结束了。以后只是

await "10".as(Eqs($=>nbase$(10)), B=>B*2)

Eqs.pipe([catcut链])

不只是输在前缀重复上。担当上新的IO范式，对于异步的「链式文件另存为」 "".as(open("inplace"), txt=>) 单靠双函数的pipe也是略显突兀的，
所谓消除语法噪声，可不是咸加糖淡加盐。任何的简化，背后若无心智模型，都将像Svelte5那样180度死转弯。 async的传染性绝对是问题、协程对forkjoin的掩盖很丑陋，而混淆长短任务会造成另一种问题

让函数支持inout()参数，作为“响应式”的新信号，竟灭杀了这两对可爱的、尚待扩充的、也是从死灰中立起一年的新词，就如 div(wOP({tap:n(x=>x+1)})) 对事件监听器们做的那样，简直动摇了框架之本

曾经，第一次把 from/into 换成更明确的 load/dump 或cat/cut。这种重命名带来的是归类上的改变，意味着「文件格式」不再与数据耦合，它们自己就能构成管道

base[64].cat("") 编码cut解码看起来多直观，但和 base(64).neg() 比起来却又太孤单。我们曾以为，Eqs,file rw, 变量sets 是三种不同的模型，可如今「另存为」让文件格式能作为值， OSON调用图的「反函数」也让Eqs有了普通到不普通的人生

cat-cut 在各方面的一致性都很好，在有标准DLC.acty模型前，将插件cat进某事件、从程序里cut掉，是和JQ一样普世易懂的调用链。但链式终究不是定义式、组合结构的对手，因为无this作用域而产生的它们，早该淘汰了。

说到底，文件的导入导出，本就只该实现write()，不需要有两个函数。把{k:v}.sets换成.Eqs 也是出于一致性，
唯一不满的是 sets(()=>timers, 1..sRate) 相对 inout(t=>, 1..s) 牵涉的概念更小，更DOM。但从整体来看，「共参数-藏参数函数,共读写参数」可以概况整个Java,JS 界的设计模式

少量使用inout参数效果是拔群的：左值不再是易越界的「指针」引用，而是能把await、回调、流统一在一起的新酒，很好地学习了JS Promise模型，用C-like和逻辑式编程摆了FP useEffect一道

等蕴含了可变量的「Eqs等价性」出师，回头看 Svelte runes 大概更像 ruins 吧

已记不起，是何时允许把 it.let{},map,find,forEach 都写成 it.as(x=>) as(An=>name) 而不区分let,lets
取代了only,if "仅有"的at, filterNotNull 又何时取代了 filterMap和when{} 判断

但不同往日，我正把「编程范式」与语法、与RPC方法一道设计，让它们一同成长

这并不是复制OOP,FP, Lisp 或 Prolog ，但确实是在各取所长：
OOP对字典的叠加和配置力
Prolog对响应式和SQL的理解
Monad对列表与错误处理的简洁性、FP对方法和多态的全局函数化,对list的变量化
Lisp的简洁易移植,对DSL如JSON的组合与递归, 它与宏相等的闭包

很难想象，这么多算法与编程观、语法符号、命名文字的碰撞，与那些XX至上、一切皆XX的语言比较后，会产生怎样的差异呢？

81 viewsedited 07:34