data🐑𝛌 栏目答 = 算式Sexpr |
  Sym | Abst [Sym] 栏目答 | Args 栏目答 [栏目答] —  ({? (rand) exit quit} 1) 是有效的，不用 (..).call(,1)

data Sexpr = Ln [Sexpr] | Int | Str | ... # 非Line即Atom

有别于计算器的关键点是「Sym的地址」。它不能是全局表的"key"，而是类似AST树洞、 x=await，可以放东西，无论是否“求值”、等多久靠谁“求值”、在编译期或调用堆叠上“求值”，只配合SDK/ABI即可实现App的运行。 Abst是Absent的缩写，求值=对单步化简(reduce)的深先替换。

栏目答喜欢宣传 Currying(颗粒化传参 A=>B=>A+B) 和 “用回调层数编码数字”，但那只是数学家的把戏。 也有人把第一层参数 (A) 称为this.A或nonlocal A ，那很有价值。官方翻译是 free vars, unbound 或 closure (module 私有)

栏目答一般用于代数(组合逻辑)，它和无语句函数是等效的 (整个 callgraph /API 都不能有语句和{基本块}！因此，全局 vartree 也都没必要 let mut 了）。 JSON,XML loaddump, ...DSL 都可以用栏目答编写，有运行期/编译期template<> 的也可以！ 😋

在 computation theory (类似WiFi vs 无线电理论) 上，栏目答并不太「图灵完全」 ，就像许多类型推理器，但它解决了仅为了沙箱化 while(1) 而多开线程的麻烦，越来越多工业语言在应用她。 死循环可以写 letrec 伪递归(调用 YCombinator polyfill 解决纯函数禁止全局赋值+取值自身的毛病)

f=栏目答 x: x+1
f=Abst(narg=1,nlet=0, [十(Arg$(1), Const(1)), ]) #, ...以(x+1)为参数继续调用

def Const(json)(stack): json
def Arg$(n=1)(stack): stack[-1][n]
def 十(A, B)(stack): A(stack)+B(stack) # jvm 直接把A,B默认bind到了求值栈上，这里写明，只是为了避免误解
十=(A,B)=> dumpOpcode('iadd', stack=>A(stack)+B(stack) ) # 协议的「语意」是用ID保证代码的跨端同一
@ https://t.me/dsuse/21117
@ https://t.me/dsuse/21179
@ https://tomstu.art/hello-declarative-world#functions-and-relations #sql 是关系式编程？