福智无比分

程序员的职业生涯里有一条隐形的分界线：一边是写程序的人，一边是改求值器的人。绝大多数工作发生在对象层——在既定语义下生产值、累积值、优化值；偶尔有人下到元层，去动那个决定「什么算一个值、值怎么被算出来」的解释器本身。第 24 品做的事，就是把这条分界线画在福德上。

七宝布施是对象层的操作。它在「福德」这套记账语义下执行，每一次布施都是一笔合法交易，账本诚实地记下余额。经文先把这个方向推到极限——三千大千世界所有须弥山王等量的七宝——然后指出：这仍然只是 Merit 类型的一个很大的取值。类型没变，语义没变，负责记账的解释器没变。「有漏」在这套语言里的含义是：余额再大也是余额，会被消费，会清零，因为它从头到尾都活在账本的语义之内。

四句偈是另一回事。般若不是账本上更大的一笔，它是对求值器的变换：它改写的不是「算多少」，而是「怎么算」——更准确地说，是让你看见「算」这个动作本身是被构造出来的。于是「为他人说」传递的东西也不是值：你给听者的不是一笔转账，而是一枚装进他求值器的元层补丁；装上之后，他往后的一切行为都在新的语义下被求值。这也解释了全经为什么不废布施——第 4 品的「无所住行于布施」，用工程的话说是：同一个 API，调用照常发生，但执行它的语义已经换了。补丁生效后，交易还在跑，只是不再被余额执取。

看清这个结构，「算数譬喻所不能及」就不再是修辞。compare 的签名是 (a: Merit, b: Merit)，定义域是同一类型的两个值。把七宝之山传进去，合法；把般若传进去，得到的不是「返回无穷大」，而是根本不通过类型检查——比较运算在这里没有定义。梵本在这一句连用六个词（数、分数、计算、譬喻、类比、比拟）逐一否定，相当于把每一条能把元层对象强行转换回值域的隐式转换路径都封死了。经文不是说智慧的福德更多，它是说：一个作用于求值器的东西，不出现在求值结果的数轴上。

// 福聚（punya-skandha）：同一账本语义下可计量、可耗尽的值
type Merit = { readonly amount: bigint };

type Action = { readonly kind: "dana" | "other"; readonly scale: bigint };

// 比较运算的定义域是两个同类型的值——这是「校量」能够成立的前提
function compare(a: Merit, b: Merit): -1 | 0 | 1 {
  return a.amount < b.amount ? -1 : a.amount > b.amount ? 1 : 0;
}

// 「如是等七宝聚」：把物质规模推到极限，仍只是 Merit 的一个大取值
const sumeruOfTreasure: Merit = { amount: 10n ** 60n };

// 求值器：给行为计分的语义本身——「福德」这套观念
type Evaluator = (act: Action) => Merit;

// 般若不是 Merit，而是 Evaluator 的变换：改写「怎么算」，而非「算多少」
type Prajna = (ev: Evaluator) => Evaluator;

declare const fourVerses: Prajna; // 「乃至四句偈等」

// 「为他人说」：交付的不是值，是元层补丁；此后听者的行为在新语义下求值
function teach(listener: { evaluator: Evaluator }): void {
  listener.evaluator = fourVerses(listener.evaluator);
}

// compare(sumeruOfTreasure, fourVerses);
//                           ^^^^^^^^^^ 类型错误：Prajna 不在 Merit 的定义域里
// 「乃至算数譬喻所不能及」——不是返回天文数字，而是比较本身未定义

这个映射的失效处在于：软件里的元层仍然是一层——解释器本身也是个对象，可以被版本化、被比较、被拥有，解释器塔可以无限堆上去，而每一层都还是「一个东西」。般若不是塔上更高的一层，它是「无所得」：连「补丁」「安装」「持有」这些动词都要被它看破——若它真是一枚可交付的 Evaluator 补丁，它就仍是可执取之物，经文只需说「无量倍」而不必说「不可比」。teach() 写成一次赋值就能完成，但「受持」从来不是安装完成。