Taming Floating Points in Scala and CakeML

Explore the intricacies of floating-point arithmetic in functional programming through this conference talk from Lambda Days 2022. Delve into recent research results and tools for formal verification of floating-point programs, with a focus on analyzing functional programs. Learn about the challenges posed by special values and rounding operations in floating-point computations, and discover how static analyzers can be used to ensure meaningful and accurate results. Gain insights into bounding worst-case rounding errors and understand the current possibilities for analyzing functional programs in languages like Scala and CakeML. This talk by Eva Darulova provides valuable knowledge for developers and researchers working with numerical computations in functional programming paradigms.