Libra: Reaching for the stars with dependent types – Zainab Ali

When we code, we code in numerics - doubles, floats and ints. Those numerics always represent real world quantities. Each problem domain has it’s own kinds of quantities, with its own dimensions. Adding quantities of different dimensions is nonsensical, and can have disastrous consequences. In this talk, we’ll tackle the field of dimensional analysis. We’ll explore dependent types, singleton types, and dive into generic programming along the way. We’ll find that dimensional analysis can be brought much closer to home - in the compilation stage itself! And finally, we’ll end up deriving Libra - a library which brings dimensional analysis to the compile stage for any problem domain.

Event *

Typelevel Summit Copenhagen, June 2017: http://typelevel.org/event/2017-06-su...

About Speaker *

Zainab is a functional programmer who converted from object oriented design. A physicist at heart, she was excited to find an application of dimensional analysis and dependent types to real world problems. She is the author of Libra and a contributor to many Typelevel libraries, such as cats and fs2.

Licensing *

This recording is licensed under CC-BY 4.0 (https://creativecommons.org/licenses/....