Pmy1fpxzajav538axwfb
SkillsCast

Libra: Aiming for the stars, and actually reaching them

3rd April 2017 in London at CodeNode

There are 1 other SkillsCast available from Scala April meetup

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:

Thanks to our sponsors

Libra: Aiming for the stars, and actually reaching them

Zainab Ali

Zainab is a functional programmer. She is the author of Libra and a contributor to many functional Scala libraries, such as cats and fs2.

SkillsCast

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:

Thanks to our sponsors

About the Speaker

Libra: Aiming for the stars, and actually reaching them

Zainab Ali

Zainab is a functional programmer. She is the author of Libra and a contributor to many functional Scala libraries, such as cats and fs2.