妄图为一个不知道要写多少指令支持的汇编器编写 Scheme 解释器

但是不清楚预处理器用什么树之类的实现宏的标记流匹配吗

非常幼稚
即使一点都不学院派
也是弱子
菜是原罪
unfamiliar of technology is the root of all evil

Naive geek, GNU/Linux lover free software lover, GeekApk forever. 😉💻

从此，duangsuse 的 bio 即是这句话，表示鼓励

*Technology unfamiliar is original sin*

duangsuse 是迟早继续 InScript 的，用于作为 Androlua 的替代品
记得已经在任务列表上了
下周见

#emmm #China TIM 群聊

#coolapk 9/16/18 消息查看打卡

#PL 我们来探讨一下 MS 的 z3 SMT（

（废 duangsuse
以上

再说，人家这可写了 40 多张 paper 啊，我怎么可能完全理解呢…

不对… 是八十多张…

开始想说 Ruby 来着后来改 Kt 了… 结果如此

Java 8 管 () -> {} 叫 Lambda…
反正 Lambda 和 block 都差不多

我差得多的是类型论、JNI 和定理证明（

https://github.com/DennisYurichev/SAT_SMT_by_example #PL #recommended

KScheme 上如果我搞不清楚就算（

区别全部在于 Symbol 取值上… Chunk 不含环境 Closure 含创建时环境…

反正垃圾收集 Refcount 共享智能指针即可

据说，PHP7 采用 Rc 和 Tracing GC 协力自动管理内存