编程语言理论

Tree Calculus：仅需一个操作符，具备“自我反思”能力的极简计算模型

Tree Calculus 是一种新型极简计算模型，由 Barry Jay 发现。它仅使用一个操作符（△）即可实现图灵完备性，突破了传统 λ 演算的局限，天然支持程序反射和内省。其独特之处在于程序即数据，能够轻松实现递归、序列化及自我分析。...