云中的泛函：无服务器云原生应用的抽象架构

云原生应用 CNApp（作为一种分布式系统）是一组通过通信协议进行交互的独立组件（微服务）的集合。这促使我们将 CNApp 的抽象架构表示为动态可重配置的无环有向多重图，其中顶点为微服务，边为协议。此类重配置的通用机制显然对应于更高阶的函数（泛函）。这也意味着微服务的内部抽象架构是一组事件触发的无服务器函数（包括实现协议的函数）的集合，这些函数被组合为事件依赖的数据流图，并在运行时动态重配置。同样，此类组合与重配置的通用机制对应于泛函以及诸如 Coq https://coq.inria.fr/about-coq 之类的高阶类型论。我们的贡献严格属于理论层面，并依赖于与泛函与关系的演算密切相关的 CNApp 抽象架构。所提出的理论方法试图实现 John Backus 于 1978 年 \cite{Backus} 提出的在函数层面编程的原创思想；该思想仍在等待作为一种非冯·诺依曼编程语言被实现。