用函数式编程实现边缘设备的协同行为，支持无人机和火星车等远端部署。
Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels
- 基于带通信操作的类型化λ演算，通过邻近交互实现分布式设备协作。
- 开发了名为FCPP的C++库，已在远端设备如探测车和无人机上成功部署。
- 适合研究边缘计算与分布式系统协同机制的研究者和开发者。
聚合编程（AP）是一种通过异步邻近交互来编程分布式设备集合集体行为的范式，适用于网络远端设备。近期提出的交换演算（XC）是AP的基础模型，本质上是扩展了交换操作符的类型化λ演算，提供了设备间隐式通信机制。本文对XC进行了温和介绍，并展示了其在C++库FCPP中的实现。该库由都灵大学计算机科学系开发，主要贡献者斯特凡诺·贝拉迪在计算机科学逻辑基础领域深耕多年，致力于培养年轻研究者。FCPP程序本质上是类型化的λ项，已被实际部署于网络远端设备，包括巡视车及即将部署的无人飞行器（UAV），因此论文标题呼应了‘飞行的λ’与‘轮子上的λ’的意象。
原文摘要 · Abstract (English)
Aggregate Programming (AP) is a paradigm for programming the collective behaviour of sets of distributed devices, possibly situated at the network far edge, by relying on asynchronous proximity-based interactions. The eXchange Calculus (XC), a recently proposed foundational model for AP, is essentially a typed lambda calculus extended with an operator (the exchange operator) providing an implicit communication mechanism between neighbour devices. This paper provides a gentle introduction to XC and to its implementation as a C++ library, called FCPP. The FCPP library and toolchain has been mainly developed at the Department of Computer Science of the University of Turin, where Stefano Berardi spent most of his academic career conducting outstanding research about logical foundation of computer science and transmitting his passion for research to students and young researchers, often exploiting typed lambda calculi. An FCCP program is essentially a typed lambda term, and FCPP has been used to write code that has been deployed on devices at the far edge of the network, including rovers and (soon) Uncrewed Aerial Vehicles (UAVs); hence the title of the paper.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。