When we code, we code in numerics - doubles, floats and ints. But those numerics always represent real world quantities. In other words, each problem domain has it's own kinds of quantities, with their own dimensions. In this talk, we'll tackle dimensional analysis in the field of basic rocket physics. We'll explore dependent 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 creating Libra - a library which brings dimensional analysis to any problem domain.
YOU MAY ALSO LIKE:
Libra: Aiming for the stars, and actually reaching them
Zainab is a functional programmer. She is the author of Libra and a contributor to many functional Scala libraries, such as cats and fs2.