stuck 字面是“卡住”，TAPL 的一些中文译本也这样译。 [定义] 范式与受阻 采用“受阻”这个译名，理由有两点。第一，“卡住”在日常语言里也指程序“卡死、没反应”，即无限循环或死锁，而 stuck 恰恰不是这个意思：受阻的项已经停下来了，只是停错了地方。第二，“受阻”点出了停下来的原因：计算想往前推进，却被一个没有定义的情形挡住了。例如按 [定义] 一步归约 的规则，$\text{succ }\text{ true}$ 既不是值，也没有可用的归约步骤。英文原名始终写在括号里，读文献时对得上即可。