Meet up

Units of Measure in F#

f#

Tuesday, 7th June at The Skills Matter eXchange, London

This meetup is run by F#unctional Londoners Meetup Group. Starts at 6:30 PM.

Andrew Kennedy of Microsoft Research in Cambridge is popping down to talk about the Units of Measure feature in F#.

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.

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

Evangelising F# within your organisation

You may be a convert to F#. But how do you go about persuading your organisation to make the leap? Kit Eason will be giving a talk on Evangelising F# within your organisation

Kit Eason

Kit Eason is a highly experienced developer, working in industries from automotive engineering to energy trading. Kit is a PluralSight author and recently released a course on 'F# Functional Data Structures'. He's written software in F# for purposes as diverse as Pension Scheme Valuation, Movie VFX Costing, and Commodities Trading. An F# algorithm he dashed off for a conference demo recently became part of the UK national energy infrastructure. He talks about F#, a lot.

Who's coming?

Sorry, no member has joined this event so far.