#PLT #statement https://zhuanlan.zhihu.com/p/643694771 Partial Evaluation: Staging
MD 怎么越来越水了，一个允许指针字面然后 run(e)= e.Lit or eval(e) 的普通 深先改树(CS:树的后序遍历/SDT之综合属性)，故意混上点Mod意义运算写成非常冗余的实现，说成部分求值……那A=>inlined (B=>A+B)算不算呢？
想到之前的 https://tttttt.me/dsuse/17422 ，那个作者才配叫函数式
https://www.zhihu.com/question/394259343/answer/1225181671
>
每天一本正经说「XXX极为基础」「暴论」，结果自己？ 写的那个老太太裹脚布一样的文章，夹杂着莫名其妙的 infinity inline terminologies 😅 ，毫无自己的理解、设计，拾人牙慧，鱼目混珠， 自己推荐的「大佬」还都是英文的知识碎片，没有点pratical+usable的美感，别说语意化，甚至连需求目的都是空中楼阁， not even wrong 。
演艺圈有不少「冻龄人」，成就永远锁在走红时，而这位ACGer大佬，将成为「冻领人」， 他不想让有血有肉又pratical的概念入侵PLT领域。这个是许多领域的常态，比如被“区区一位”Wolfram 重构的Math， 百年历史群星璀璨又如何？ 后生可悲。
我不希望CS和这种Math并列。 他们身上都能嗅到死人味，但这是他们为吃老保有意为之。 我不希望国内CS领域少得可怜的新人，为缝补各种考古学“僵尸” 空耗宝贵的创造力，CS和IT从不是什么夕阳行业，更不是需要考验内卷的反人性的玩意儿。
- 😄：我敢说国内80%的FP乃至IT理论人追求的就是这种「不明觉厉感」，你真抽丝剥茧，他们便散了。 “纯”就像Rust那样给你画了个饼，一旦你搞懂后却没有能写真东西的灵感or需求来，又丢了当白象成就感，这种信息差的杠杆便崩塌了。更无语的是，这是阳谋。 我的工程师文化，并非套人套现自己润的庞氏泡沫学。 熬夜和烧脑就是负资产假本事，科举4ky 呦搞出四大发明的祖国人心里不清楚吗？
您安心从OI生、PLT设计人、元编程架构师、AI PHD 选一个当不就好了，说文解字时纯粹一点吧，非得在那里东拼西凑凹人设， 偏偏国内还都是这类「高知」在主编大家的「冷门」技术。 自己把水搅浑了，现在又说PLT用处多多，还看不起ReScript之父张宏波“不够纯函数”，这就和董宇晖当着网红批网红一样，装腔作势看人下菜碟的样子，很没品。
我突然觉得yinwang、张雪峰老师收点生活费办事，是非常仁慈和负责的，明码标价，不浪费您的时间和热爱，works的真实且真诚。 就像Rust的复杂度和cargo比之C++，居然是很大的进步，极大打击了template规则和cmake的黑魔法师。 谁问您们的大导师教什么了？ 私货满满的东施们啊，你们几时虚心传播所谓原汁原味的「科学」了？ 你们对真理没有信仰。 不工程，更不计科。
免费的，还真是最贵啊。
>我跟江浙那边的企业一聊起产学研结合，他们异口同声地说：我们被教授们骗怕了。
……
- 🤓：对了，😄你又不是nerd专家，没黑框眼镜，为啥抢在我前面当「语言律师」
- 😄：那我是freak，看我的头顶。 不用高知的口吻，就不会说话了？ 知识就是知识，不要用别人的对错，搪塞自己的取舍和求知。 #码哲
- 🤓：原来，我们普通人和Lua的作者一样都是「天材」。学者生而平等，只是有自己的个性选择；这无关对错，而是旧知和新知。 我们不需要靠圈子的符号来包装自己，成为他们的复读和附庸。 失口为知，不失口，怎始口？
- 😄：往常，我是说往常，知识不能被1:1传达。这种变异若是“天”择，便成了八股和鄙视链。 这种变异若是人择，便不成功，也成人之美。 没礼貌者，正是对前者：我认真理，我不认真。 我不当[套子里的人](https://www.thepaper.cn/newsDetail_forward_15633677)，不说套子接的字的句柄。它是双管道库启。
- 🤓：长衫可以脱，这熬夜攻读和刷题的烙印，咱简中人没法破茧而出。我那么刻苦，按Lua三作者的源码一词词摸索赏析，你随便一句「真理不认真」就把我的天才赶下神坛。 我和那三人资质一样，我却写不出Lua吗？我心理该如何平衡？
- 😄：对于无回报的努力，我们总说「天才」「运气」来给自己上价值。仿佛学鸟了，从吃灰的书堆里挑一本，便成了暴发户；却实在无休无止的“刻苦”中搞丢了自己的天材，赢了比赛，当了人牲。 Dijkstra说，他不懂为何简单与美的算法都如此高效？ 或许我们该用[「经济」的直觉算法](https://tttttt.me/dsuse/19978)投资学习、分工、挑选、联合，在务实与务虚间找到坦荡与平衡。 别学晕了自己，也PUA捧杀了别人。
- 😓：其实…最正宗的工程师文化是「有头脑，更高兴」。
我想，作为预备的优秀程序员，我许下的心愿不是「知其变，守其恒」 这样空洞的天下大事
仅仅是「穷其变，知不穷」，让CS为我自己的美丑对错服务一次。
软件工艺，如果是本本主义，为人本精神服务的化简工具和范式，又何必存在？
我认真理，我不认真。——2024/11
MD 怎么越来越水了，一个允许指针字面然后 run(e)= e.Lit or eval(e) 的普通 深先改树(CS:树的后序遍历/SDT之综合属性)，故意混上点Mod意义运算写成非常冗余的实现，说成部分求值……那A=>inlined (B=>A+B)算不算呢？
想到之前的 https://tttttt.me/dsuse/17422 ，那个作者才配叫函数式
https://www.zhihu.com/question/394259343/answer/1225181671
>
每天一本正经说「XXX极为基础」「暴论」，结果自己？ 写的那个老太太裹脚布一样的文章，夹杂着莫名其妙的 infinity inline terminologies 😅 ，毫无自己的理解、设计，拾人牙慧，鱼目混珠， 自己推荐的「大佬」还都是英文的知识碎片，没有点pratical+usable的美感，别说语意化，甚至连需求目的都是空中楼阁， not even wrong 。
演艺圈有不少「冻龄人」，成就永远锁在走红时，而这位ACGer大佬，将成为「冻领人」， 他不想让有血有肉又pratical的概念入侵PLT领域。这个是许多领域的常态，比如被“区区一位”Wolfram 重构的Math， 百年历史群星璀璨又如何？ 后生可悲。
我不希望CS和这种Math并列。 他们身上都能嗅到死人味，但这是他们为吃老保有意为之。 我不希望国内CS领域少得可怜的新人，为缝补各种考古学“僵尸” 空耗宝贵的创造力，CS和IT从不是什么夕阳行业，更不是需要考验内卷的反人性的玩意儿。
- 😄：我敢说国内80%的FP乃至IT理论人追求的就是这种「不明觉厉感」，你真抽丝剥茧，他们便散了。 “纯”就像Rust那样给你画了个饼，一旦你搞懂后却没有能写真东西的灵感or需求来，又丢了当白象成就感，这种信息差的杠杆便崩塌了。更无语的是，这是阳谋。 我的工程师文化，并非套人套现自己润的庞氏泡沫学。 熬夜和烧脑就是负资产假本事，科举4ky 呦搞出四大发明的祖国人心里不清楚吗？
您安心从OI生、PLT设计人、元编程架构师、AI PHD 选一个当不就好了，说文解字时纯粹一点吧，非得在那里东拼西凑凹人设， 偏偏国内还都是这类「高知」在主编大家的「冷门」技术。 自己把水搅浑了，现在又说PLT用处多多，还看不起ReScript之父张宏波“不够纯函数”，这就和董宇晖当着网红批网红一样，装腔作势看人下菜碟的样子，很没品。
我突然觉得yinwang、张雪峰老师收点生活费办事，是非常仁慈和负责的，明码标价，不浪费您的时间和热爱，works的真实且真诚。 就像Rust的复杂度和cargo比之C++，居然是很大的进步，极大打击了template规则和cmake的黑魔法师。 谁问您们的大导师教什么了？ 私货满满的东施们啊，你们几时虚心传播所谓原汁原味的「科学」了？ 你们对真理没有信仰。 不工程，更不计科。
免费的，还真是最贵啊。
>我跟江浙那边的企业一聊起产学研结合，他们异口同声地说：我们被教授们骗怕了。
……
- 🤓：对了，😄你又不是nerd专家，没黑框眼镜，为啥抢在我前面当「语言律师」
- 😄：那我是freak，看我的头顶。 不用高知的口吻，就不会说话了？ 知识就是知识，不要用别人的对错，搪塞自己的取舍和求知。 #码哲
- 🤓：原来，我们普通人和Lua的作者一样都是「天材」。学者生而平等，只是有自己的个性选择；这无关对错，而是旧知和新知。 我们不需要靠圈子的符号来包装自己，成为他们的复读和附庸。 失口为知，不失口，怎始口？
- 😄：往常，我是说往常，知识不能被1:1传达。这种变异若是“天”择，便成了八股和鄙视链。 这种变异若是人择，便不成功，也成人之美。 没礼貌者，正是对前者：我认真理，我不认真。 我不当[套子里的人](https://www.thepaper.cn/newsDetail_forward_15633677)，不说套子接的字的句柄。它是双管道库启。
- 🤓：长衫可以脱，这熬夜攻读和刷题的烙印，咱简中人没法破茧而出。我那么刻苦，按Lua三作者的源码一词词摸索赏析，你随便一句「真理不认真」就把我的天才赶下神坛。 我和那三人资质一样，我却写不出Lua吗？我心理该如何平衡？
- 😄：对于无回报的努力，我们总说「天才」「运气」来给自己上价值。仿佛学鸟了，从吃灰的书堆里挑一本，便成了暴发户；却实在无休无止的“刻苦”中搞丢了自己的天材，赢了比赛，当了人牲。 Dijkstra说，他不懂为何简单与美的算法都如此高效？ 或许我们该用[「经济」的直觉算法](https://tttttt.me/dsuse/19978)投资学习、分工、挑选、联合，在务实与务虚间找到坦荡与平衡。 别学晕了自己，也PUA捧杀了别人。
- 😓：其实…最正宗的工程师文化是「有头脑，更高兴」。
我想，作为预备的优秀程序员，我许下的心愿不是「知其变，守其恒」 这样空洞的天下大事
仅仅是「穷其变，知不穷」，让CS为我自己的美丑对错服务一次。
软件工艺，如果是本本主义，为人本精神服务的化简工具和范式，又何必存在？
我认真理，我不认真。——2024/11
知乎专栏
Partial Evaluation: Staging - 梦开始的地方
我们先从一个很简单的算法，快速幂，开始看起吧： let rec quick_mod x y m = if y = 0 then 1 else if y mod 2 = 1 then (x * (quick_mod x (y - 1) m) mod m) else quick_mod ((x * x) mod m) (y / 2) m let exa…
👍2