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:
- Got The Perfect Agile Model? Here’s What You Should Know About Agnostic Agile (in London on 16th August 2017)
- Gojko Adzic's Impact Mapping Workshop (in London on 27th September 2017)
- Gojko Adzic's Specification by Example: From User Stories to Acceptance Tests (in London on 7th - 8th November 2017)
- Agile Testing & BDD eXchange 2017 (in London on 9th - 10th November 2017)
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.