Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , , , , , , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908865976598528 |
|---|---|
| author | Audrito, Giorgio Bortoluzzi, Daniele Damiani, Ferruccio Scarso, Giordano Torta, Gianluca Basso, Andrea Cochi, Monica Gusman, Lorenzo Comba, Lorenzo Gay, Paolo Zovo, Paola Dal Galati, Giada Gallo, Francesco Grdadolnik, Aljaž Pescarollo, Massimo Pisano, Paola |
| author_facet | Audrito, Giorgio Bortoluzzi, Daniele Damiani, Ferruccio Scarso, Giordano Torta, Gianluca Basso, Andrea Cochi, Monica Gusman, Lorenzo Comba, Lorenzo Gay, Paolo Zovo, Paola Dal Galati, Giada Gallo, Francesco Grdadolnik, Aljaž Pescarollo, Massimo Pisano, Paola |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_04008 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels Audrito, Giorgio Bortoluzzi, Daniele Damiani, Ferruccio Scarso, Giordano Torta, Gianluca Basso, Andrea Cochi, Monica Gusman, Lorenzo Comba, Lorenzo Gay, Paolo Zovo, Paola Dal Galati, Giada Gallo, Francesco Grdadolnik, Aljaž Pescarollo, Massimo Pisano, Paola Distributed, Parallel, and Cluster Computing Programming Languages Robotics 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. |
| title | Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels |
| topic | Distributed, Parallel, and Cluster Computing Programming Languages Robotics |
| url | https://arxiv.org/abs/2603.04008 |