Have you ever used the library Spire?
It can be of great use when numeric programming as it provides strong support needed for writing fast and correct programs. At Scala Italy, Typelevel Co-Founder, Lars Hupel introduces us to Spire, showcasing the ‘number tower’, real-ish numbers and how to obey the law.
Numeric programming is a notoriously difficult topic. For number crunching, e.g. solving systems of linear equations, we need raw performance.
However, using floating-point numbers may lead to inaccurate results. On top of that, as functional programmers, we’d really like to abstract over concrete number types, which is where abstract algebra comes into play.
This interplay between abstract and concrete and the fact that everything needs to run on finite hardware is what makes good library support necessary for writing fast & correct programs.
Spire is such a library in the Typelevel Scala ecosystem. This talk will be an introduction to Spire, showcasing the ‘number tower’, real-ish numbers and how to obey the law.
About Lars Hupel
Lars is a PhD student in Munich, Germany, working in the area of theorem proving.
He has been using Scala for quite a while now, and is known as one of the founders of the typelevel initiative which is dedicated to providing principled, type-driven Scala libraries.
He also talks about Haskell and Isabelle a lot.