Arnaud Spiwack

Destination Calculus: A Linear 𝜆-Calculus for Purely Functional Memory Writes

2025 · Proceedings of the ACM on Programming Languages

Destination passing —aka. out parameters— is taking a parameter to fill rather than returning a result from a function. Due to its apparently imperative nature, destination passing has struggled to find its way to pure …