#Haha #China #Low

就在刚刚我看见了一个 cat girl
央视曝光某高官和 cat girl 的惊天秘密！
震惊国人！曾是 cat girl 的小A 如今居然沦落到这步田地！
小林家的女仆竟然是 cat girl！大家看后都惊呆了！
千万别吃 cat girl！少碰这五个部位，多活十年！
赶快扔了 cat 碰过的物品！专家：这么脏的水，还敢给它喝吗？
癌症前兆！cat girl 对武汉男子的这番动作，能害死人！
被害惨了！cat girl 与同类之间的惊悚一幕
护肝降压、治病防癌！对 cat girl 的五个妙用
毒素最多！贝爷都不敢招惹这种 cat
山村小罐 cat girl 的神奇功效
价值千万世界 top 5 的 cat girl！难怪央视著名主持人不敢公开关系
差点丧命！某男子看完今日头条后直接崩溃，几乎要跳楼
某知名女星的绝密隐私公然被曝光，尺度不小！
意想不到！乔碧萝殿下的身份曝光，真实脸孔简直令人发指！
绝密隐私！小A整容失败，修复后仍是颜值堪忧！
高层揭秘！四旬大叔初遇 cat girl 后做了这三件事，竟然乖乖听话回家拜见父母？
北京震怒、全民炸锅！揭秘 cat girl 市场里灭绝人性的一幕
彻底玩完 cat girl 后，男子的这番言论给自己摊上了大麻烦
强硬反击！年仅 14 岁的年轻 cat girl 的一番话，全球沉默
大惊失色！从市场迎回的上品 cat girl 居然有这个？！
沦为炮灰！一英俊少年与 300 只 cat girl 不堪回首的往事：想停战都没办法
胆战心惊！1958 年长安街广场上的诡异一幕
难得机遇！一男子偶遇 cat girl，这通操作让他幸福终生！
绝不再忍！省长明确表示：立法严惩虐待 cat girl 的凶恶歹徒！
世界 girl 组织的渎职事故，国人哽咽、西方胆寒！

各减平均各自乘相加除以项数开方 - 6hu2t32的文章 - 知乎 #zhihu #PLT #Types
https://zhuanlan.zhihu.com/p/30279723

🤔 以后我会把 unification 翻译为『一致化』而不是『归一化』吧
至于不同的词性我不想多说，举个例子，unification type inference 是『一致化类型推导』、make unify 是『令_一致化』
理由是，如 a+1=b，一致化暗含了两者本来相等“一致”，但归一化给人感觉像是 a+1 本来不等 b，只是 apply 了这个操作以后才相等了

对 a+1=b 的一致化只可能成功或失败而没有结果，但有需要的副作用：求得 a+1=b 时 a 的值，使得等式成立的值，这才是 unify 最基本的操作

#life 刚才俩看婚配选秀节目，一个是啥象公司的，有点好看

秘技・智商量化

这个例子可以联想出，
中国(subject)、厕所(object)
是相对的 subject 重要呢，还是 object 更重要呢…… 如果 object 是 subject 的一部分，那么 会不会倾向朝 subject 这个更大的方向想呢……

还有一些不常见但很妥帖的联想，先逐一枚举某个 a 的所有属类，再取得其中和 b 有联系的部分，再选取时间/位置上最接近的事物……

但是所谓的智商 真的就能代表应对各种实际问题的能力吗？

CodeHz 熟不熟悉 对子程序作用域的实现
以及对 by-value, by-name, by-need 三种求值模型的实现

真的需要 by-name 参数求值方式吗？闭包的实现有什么注意点吗？

如果只是实现解释器不带虚拟机，会不会显得太幼稚？
如果只有到高级语言的后端连作用域都不处理，会不会显得太前端？
如果没有实现 native 或者 bytecode 后端，是不是会显得不够好看呢

啊，这么说蛮有道理的
可是 对求值来说 顺序也是最终程序要编码实现的一种语义吧
记得 LLVM IR 里 SSA，虽然重要的是“内联”表示 val ref，但其实有副作用的话是不能不顾赋值顺序的

by-name 实现起来不好吧，都得传 block 进去，把那东西内联……
block closure 的实现有什么注意点呢

这个是常见实现
直接 clone 一个，然后 update merge keys

就是说 by-value 调用前优先顺序求值？
function wtf() {
if [ a = 0 ]; $1
else; $0
}

不存在子程序作用域啊…… 子程序离开了之后还是存在、递归的话就会冲突

原来 shell 都是 call-by-name 的，直接传递代码字符串的引用，而且没局部作用域、没闭包

$1 $2 $3 是局部变量吗？
还是我 some_fn a b c 的时候赋值的全局变量呢？

想起了 Ruby 里的 lexical_specialvars

不能赋值啊……

是一个 shell 概念上会定义的东西啊…… 对名字的抽象语义