#AihuaRead

摘录自《计算机程序的构造和解释》：

——

在数学里，人们通常关心的是说明性的描述（是什么），而在计算机科学里，人们则通常关心行动性的描述（怎么做）。

说明性描述和行动性描述有着内在的联系，就像数学和计算机科学有着内在联系一样。举个例子，说一个程序产生的结果“正确”，就是给出了一个有关该程序性质的说明性请句，存在着大量的研究工作其目标就是创建起一些技术，设法证明一个程序是正确的，在这一领域中有许多技术性因难，究其根源，都出自需要和行动性语句（程序是由它们构造起来的）和说明性语句（它们可以用于推导出某些结果）之间转来转去。在与此相关的研究分支里，有一个当前在程序设计语言设计领域中很重要的问题，那就是所谓的甚高级语言，在这种语言里编程就是写说明性的语句。这里的想法是将解释器做得足够复杂，程序员描述了需要“做什么”的知识之后，这种解释器就能自动产生出“怎样做”的知识。一般而言这是不可能做到的，但在这一领域已经取得了巨大进步。第4章我们将再来考虑这一想法。

——

如何通俗理解呢？

有一个我很不喜欢的说法，叫“你行你上”，一般用来驳斥说某个产品不好的评价，而反驳它的论述也很经典：“我评论个冰箱还得会制冷吗？”

这里的本质矛盾就是说明性的描述（用户：这个冰箱能耗应该更小一些）和行动性描述（厂商：我们已经找不到途径让这个冰箱能耗更小了，不行你自己上吧）的矛盾。

但“你行你上”并不总是错误的，因为你至少要给出一个正确的说明性语言。也就是先不论动力学（路径）上能否达到，起码不能违背热力学（终态）的定律，比如违背了热力学第二定律——这冰箱只是把热量从里面搬了出来，能不能能耗为0啊？

如果套用到nostr如何发展的争辩上… 先不套用了，大家自行发挥吧😉