Functional Programming for the Planet / Sep 2023
Keynoted at ICFP 2023 on Functional Programming for the Planet, giving the opening keynote in Seattle. I discussed how functional programmers could contribute to addressing the climate and biodiversity crises through planetary computing. The talk covered our work on satellite sensing, forest monitoring, and how the principles of functional programming - immutability, composability, type safety - could help build reliable systems for environmental monitoring and conservation at scale.