duangsuse::Echo
718 subscribers
4.26K photos
130 videos
583 files
6.48K links
import this:
美而不丑、明而不暗、短而不凡、长而不乱,扁平不宽,读而后码,行之天下,勿托地上天国。
异常勿吞,难过勿过,叹一真理。效率是很重要,盲目最是低效。
简明是可靠的先验,不是可靠的祭品。
知其变,守其恒,为天下式;穷其变,知不穷,得地上势。知变守恒却穷变知新,我认真理,我不认真。

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程): https://WOJS.org/#/
Download Telegram
ES6 的 iterator 真是麻烦死了,hasNext/next 根本分不清
我不用递归好了…… 写得像 Scanner 一样,好写一些
垃圾 ES6 Iterator,真是不好用。
#ES6 #JavaScript 的 Generator 实在是太坑了……
本来各种流逻辑搞不清图形思维混乱,结果莫名其妙就试出来了…… 真是面向 debug 编程。
duangsuse::Echo
本来各种流逻辑搞不清图形思维混乱,结果莫名其妙就试出来了…… 真是面向 debug 编程。
...还是有 bug……所以不能面向守株待兔编程。
瞎猫撞上死耗子
艹,果然只当瞎猫写不出程序啊,虽然思路还是不清晰,但至少还是有那种直觉的。
Literate #Kotlin 总算是基本可用了…… 😢
我总算是可以写那篇关系式的文章了……

#CS #learn 作为程序表达和转化领域的爱好者,我也真是很有福气了,居然能在接触编程两三年后就了解并且实现过 非结构式(x86 intel)、结构式(C, Basic)、面向对象(Java, Kotlin)、函数式(Scheme, Haskell)、关系式(microKanren)、逻辑式(Agda) 这些知名编程范式,实在是感谢许多大佬的分享。
实在是过于写实,我开始回忆起之前我写 ToC Tree 的时候那个苦逼…… #web #JavaScript 前端太难了!
#Kotlin 所以我说,好的代码本身就是文档。何须太多太细的文档弄得让人无所适从?知道怎么用就好了,这是一个复用库的底线。
#PLT 这次绝句的变化主要还是语法的变化,不过不要看不起语法变化,因为它们使得语言更优雅了。

1. 「解量」「解对…里的(模式)……」
变成了 量提 (甲、乙) = 听去一数对()
对用户与索引里的提 (此人、编号),说("$编号 ${此人的名}")。

新语法类似改「重复当」为「重复若」时一样,更对称了,这不仅仅意味着实现解析器/翻译器会更容易,学起来也会更容易。

2. 「不」变成了现在唯一的『中后缀修饰』

比如 属(is)、存于(in)、是(==)、即是(===)、大(>)
现在都不需要专门定义特定语法了,用户利用自定义记法定义的如 记法「为」的量 为空:真假 取者……
也不需要再对应地定义一个模板化的 不为空 了,因为现在有中后缀否定修饰「不」存在。(这也是Kotlin没有的特性)

3. 『人称』语法被统一了

第一人称是面向对象术语「我」「亲」,表示对象的和对象继承自的事物,只有他们可以有类似 Kotlin 的 label 我[某事]
label 的引用解析和 Kotlin 差不多,绝句混用了 我[…]/亲[…] 这种语法但其实是没什么问题,因为量本来就不该起成标签有的名字。

「若」、「判」支持第二人称「你」,可以简化「若」条件和体,以及替换 Kotlin 的 when (val x = expr)
「若」当然也包括「重复若」「重复……若」

「对」同时支持第二人称和第三人称的「它」「他」「她」
中缀链的「」和逗号块都是第三人称的。

a令置为「它+1」
(用户)里去找,他的名字是"某甲"。的项一
青蛙里去找,它的名字是"👓"。的项一


4. Comparable 和 Any 要么必须支持 equals(Any) 要么必须提供 <T> 的问题解决了

就是抄 Rust 的 Self 类型嘛。虽然我不知道类型系统到时候具体是什么区别,我看大概是没什么问题,除非以后编译到 JVM…… 显然不可能很简单地解决。
但绝句也没说非得直接 100% 兼容 Java 啊?

比如 里面就可以这么定义:
物 『值』为
“……”
待例、算符的事 试等(另:我属“Self”):真假


5. 然后还有许多也整理出来的概念

逗号表示法:逗号布局、逗顿句简写、逗号块、逗号取调链 (现在给删了,就是逗号块)
文法层次:常量、言元、言、句、段、体、书
Forwarded from Yuuta 🎀 | clrd enroute
继续闲得无聊对代码进行 人 工 混 淆,比如使用变量 oOo,o_o,_O_,_o_,OoO 等等。
Forwarded from Yuuta 🎀 | clrd enroute
fuck
#JavaScript #ES6 #web 我真是受不了 ES6,怎么都是 ES6 了还是这么不爽。
特地简化了很多遍,没 Kotlin 简化的快、有效。
垃圾 ES6 快快还我 elvis operator 和 (?.) null branch access 来!
#iHeartTypeScript <3 立刻使用 TypeScript 重写,抛弃辣鸡 ES6
没有 ES6 怎么能看代码
没有 TS 怎么能编程
duangsuse::Echo
垃圾 ES6 快快还我 elvis operator 和 (?.) null branch access 来!
TypeScript 3.7 已经支持了 (?.) ,和 ES6 修订一样叫 optional chain