推个 Generic 类型还用相等关系解构去看什么 state var intro goal ，看来我受到的误导很深。
原来不必建模成相等关系然后 unification ，只用 table 也能做到啊，真的是把 information 聚在一起就能推出来，是我智障了。
(当然用相等关系但不必实现关系式编程也可以， Box<T> = Box<Int> 一样能推出 T=Int... 但基础组件写来麻烦一些)

Kotlin 里好像也是只有 fun 的类型参数能推导，而 class/interface 必须是显式写出的

不过今天填志愿，就不多说了。一般这种 "Talk is cheap" 的更新也不常见，改天我写个 bot 导出 markdown 发知乎去。

提出一个编程方法，没有任何特色而我将它用于无草稿设计，优点是设计小脚本很方便，称之为 LSPA(Lifecycle, structure, program action. 主要在 "LS", 加 "PA" 是为了好记)

比如小明有一个 pandas.DataFrame 要从网上搜索下载网页，测试关键词匹配数来生成 it["rank"] 列用于排序，这里就有两个 lifecycle: scrape-pages, gen-rank
分别使用 [psearcherr, requests, bs4], SavedFile(name, classifier), curl, findXXXLink 和 findMatches, xxxMatch, len 等函数来构成逻辑

df["rank"] = [sum(map(lambda tag: len(findMatch(SavedFile(name, tag).readOr(""), ["index", "a"]))  )) for name in df["name"]]

所以在整理好提纲以后，脚本编写会容易一些，但对大点的设计还是要逐步细分设计的。
用这种方法后可以将程序分为最基础的原理算法、某 lifecycle 里的功能点两部分(比如 scrape-pages 里可以指定 df[df["name"] == start:] 爬取行起点)，方便进行隔离的建模
structure, program action 只是附加点，一般小脚本里的 structure 和控制流什么的不会太复杂

之前我给 Mivik 提建议的时候他还在写 CodeWars kata 呢…… 不愧是正常人

要是我也能有那样的智商就好了 🤪
不过一段时间没更新，又像以前一样更新轰炸，给仍在看的 30 人打个爱心。

https://stackoverflow.com/questions/3753589/packing-and-unpacking-variable-length-array-string-using-the-struct-module-in-py
嗯。谁说 read/show / rebuild 这个词不专业的，别人叫的 parse/build 呢

我在给 Python 的 types.CodeType 写序列化，方便缓存实现。
https://github.com/llllllllll/codetransformer/blob/c5f551e915df45adc7da7e0b1b635f0cc6a1bb27/codetransformer/code.py#L77
卡在这里了

from types import CodeType
c = CodeType(0,0,0,1,64,b'd\x00S\x00',(1,),('',),('',),'','<module>',1,b'',('',),('',))
eval(c) 嗯……找到问题所在了。 双向转换没写好，现在可以序列化缓存代码对象了。

完成了！ 不过不知道是 pickle 性能高还是 struct 性能高... 反正我懒得写 pickle 版（花好大力气完成的复古

%timeit codeSer.loads(codeSer.dumps(c))
34.6 µs ± 103 ns per loop (mean ± std. dev. of 7 runs, 10000 loops each)
from pickle import dumps, loads
%timeit codeSer.loadItems(loads(dumps(codeSer.dumpItems(c))))
25.8 µs ± 405 ns per loop (mean ± std. dev. of 7 runs, 10000 loops each)

还好我写的抽象层有支持…… 就知道跑不过 pickle ... 这个变态腌黄瓜。 ☹️

不想删啊…… 早知道用 struct 不合适的，而且它是个贼老的东西了，为了支持动态长度字符串我还加了 hack
性能渣是肯定的... 还是换 Pickle 后端好了

腌黄瓜实在是太过分了，我好不容易给 struct 弄好字符串支持的
早知道就不给弄了，草死了

还有一个更过分的(主要是因为我不了解序列化的泛用性...)
from marshal import dumps 可以 dump Python 的 code object ，而且它就是用来生成 .pyc 文件的那个
虽然不能跨语言版本，但我要的代码缓存就是这个啊……

In [19]: %timeit marshal.dumps(c)
703 ns ± 4.27 ns per loop (mean ± std. dev. of 7 runs, 1000000 loops each)

而且它还超级快…… 看来只有要压缩的情况下我写的代码才有一丢丢意义…… (它的存储比 marshal 的结果短... 1字节)

struct,json,yaml,pickle,marshal 等序列化便利库我都用过，无非就是流 dump/load 和便利性 dumps/loads #Python #backend #bin

对于二进制读写的数值读写、字节序解释我也清楚的很， Kotlin Dokuss 和 SomeAxml(挂名) 项目都包含了基本二进制流和读写抽象

序列化(serialize)的用途一般是以二进制表示某种数据， marshal 和 pickle 虽然都是对象序列化，显然 marshal(封送) 更广义、更内部， C# 里也有这个名词，用于在进程间传递数据对象的深拷贝，也类似 android.os.Parcel 。

说起来王垠也真是日理万机，发封邮件他都不回😂 #statement

比冰封发了也不原谅或CovScript老李说了就直接踢更厉害呢……

我们就不应该相信大佬会为你一个人费时间，是吧？
真的好敬仰 RednaxelaFX 那样即既没有腔调、又能写出简单易懂文章的人，可惜他最近不在线了。

其实我最开始是以为王垠的许多观点和我一致，才借着回答文章里的问题的机会发邮件的。

其实王垠和我差太多了，我以为那些他表达的观点是我所认同的地方，都是他在谈大道理的地方。他自己当然没有做到这些观点的意愿，比如他说失败的经验很重要，但他从不提及初学者可能的失败；他教你区分知识的深度和广度，却从不告诉你还有什么有趣的书和链接；他夸某某教授与众不同、懂得大智若愚的道理，自己却“这个惹怒我了”、“那个费了很大力气、很有价值，不分享”

其实小白视王垠为大佬无非是他科普以及个性的确很好而已，或许也有清华辍学 title 的成分。

我把他视为大佬也无非是看到他弄过 PySonar/RubySonar 的类型推导语言工具、 Ydiff(树前序比较，这个我也写的出来...)，以及那一百行 CPS(continuation-passing-style,假设所有call都不return)优化所谓无人写出的 Scheme 代码（这个倒没太大异议，毕竟 #Python 的红姐也最多实现了 PVM 的代码生成后端，没有 x86.）

其实见得多点的人都知道，知乎上 CS/PLT(程语理论) 大佬是很多的。王垠对 PLT 的理论科普太缺乏了(尽管他始终在做，但始终只有简单入门的部分)，尽管他的博客也可以说是“业界清流”，也不是能让人完全满意的那种。

说到底就是肯做科普的人太少了，而且绝大部分 2~3 年资的大佬文章并不重视易懂性，显然是他们从不重视。 当然现在也还有星野大佬 blog.hoshino9.org 这种易读性可以的大佬存在，拭目以待吧。

blog.hoshino9.org 啊，是个大佬，刚才看见她还在谈 Rust 宏
Haskell,Kotlin,Rust 兼用的 OI 大佬，而且表达能力也很不错

补充一句： #Python #PLT #cs 红姐 其实是 github.com/thautwarm
https://pythonhunter.org/episodes/ep11

https://github.com/anqurvanillapy
另外 ANQUR 也是 Python 大佬
#JavaScript 的 贺老 就是贺师俊、 阮老师 就是 阮一峰

这些是昵称/尊称。