树形演算 2024-12-10 树形演算是一种图灵完备的计算模型，其核心概念是通过操作无标签二叉树来实现计算。它具有简洁的抽象语法和精简的规约规则，能够进行程序分析、类型检查、编译和优化等操作，并且支持任意类型系统和渐进式类型化。树形演算可以轻松序列化任何值，包括程序本身，并且程序与其编码之间没有区别。它还可以用于建模和形式化规范，以及教育用途。由于其可移植性，可以轻松在任何平台或编程语言中编写解释器。 阅读更多 (treecalcul.us) 4 未分类 树形演算
