FP² - Fully in-Place Functional Programming

Explore a groundbreaking approach to functional programming in this 30-minute conference talk from ICFP 2023. Delve into FP²: Fully in-Place Functional Programming, presented by Anton Lorenzen, Daan Leijen, and Wouter Swierstra. Discover how to achieve the best of both worlds in functional programming by executing purely functional code efficiently using in-place updates without sacrificing purity. Learn about the linear fully in-place (FIP) calculus and its ability to execute functions without allocation and with constant stack space. Examine practical applications through examples of in-place functions on data structures like splay trees and finger trees, as well as in-place versions of merge sort and quick sort. Gain insights into deriving fully in-place map functions for polynomial data types. Understand the implementation of FIP calculus rules in the Koka language and how it leverages Perceus reference counting for dynamic in-place execution. Access supplementary materials, including reusable artifacts, to further explore this innovative approach to functional programming.