Byxsyoe0chcdslbyrlbb
SkillsCast

Units of Measure in F#

7th June 2011 in London at Skills Matter

There are 1 other SkillsCast available from Units of Measure in F#

In this talk, Andrew will describe the support in F# for units-of-measure, which extends all the way from simple annotation of floats with their units to functions and data types that are generic with respect to units.

Units-of-measure are to science what types are to programming. It’s just too bad that in most programming languages, even those with sophisticated type systems, all numbers are treated the same, with no checking of units-of-measure. This can have disastrous consequences if units are mixed up. F# seeks to change this state of affairs!

In this talk, Andrew will describe its support for units-of-measure, which extends all the way from simple annotation of floats with their units to functions and data types that are generic with respect to units.

Andrew will use code samples from physics, gaming, finance, and other domains, and will also describe the magic that the F# compiler applies behind the scenes to infer units-of-measure automatically.

YOU MAY ALSO LIKE:

Units of Measure in F#

Andrew Kennedy

Andrew Kennedy is a researcher in the Programming Principles and Tools group at Microsoft Research in Cambridge. With Don Syme he designed and prototyped the "generics" feature of the .NET Common Language Runtime, bringing parameterized types such as

SkillsCast

In this talk, Andrew will describe the support in F# for units-of-measure, which extends all the way from simple annotation of floats with their units to functions and data types that are generic with respect to units.

Units-of-measure are to science what types are to programming. It’s just too bad that in most programming languages, even those with sophisticated type systems, all numbers are treated the same, with no checking of units-of-measure. This can have disastrous consequences if units are mixed up. F# seeks to change this state of affairs!

In this talk, Andrew will describe its support for units-of-measure, which extends all the way from simple annotation of floats with their units to functions and data types that are generic with respect to units.

Andrew will use code samples from physics, gaming, finance, and other domains, and will also describe the magic that the F# compiler applies behind the scenes to infer units-of-measure automatically.

YOU MAY ALSO LIKE:

About the Speaker

Units of Measure in F#

Andrew Kennedy

Andrew Kennedy is a researcher in the Programming Principles and Tools group at Microsoft Research in Cambridge. With Don Syme he designed and prototyped the "generics" feature of the .NET Common Language Runtime, bringing parameterized types such as