三句话解释什么是可逆计算
1. 面向对象中的继承和Rust语言中的trait不包含删除语义,而且仅表达了对象-方法这样一级关系,结构层面仅对应于Map。
2. 面向对象的最强形态是带模板元编程能力的泛型对象,它在结构层面上可以看作是Map extends Map<Map>。
3. 如果将Map扩展为Tree结构,并且扩展extends算子包含减法,这样Tree就成为包含逆元的DeltaTree,整体结构将升级为
Tree x-extends
Tree<Tree>。这个抽象可以很自然的将抽象语法树和文件系统纳入自己的范畴,成为一个具有广泛应用领域,不限制于某个程序语言内部的通用计算模式,落实为具体的技术形式就成为可逆计算理论所定义的核心软件构造公式
Docker和k8s中的kustomize都可以看作是可逆计算的具体实例
请自觉遵守互联网相关的政策法规,共同营造“阳光、理性、平和、友善”的跟评互动环境。