Andrew Kennedy of Microsoft Research in Cambridge is popping down to talk about the Units of Measure feature 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 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
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 is a highly experienced developer, working in industries from automotive engineering to energy trading. Kit is a Lynda.com/LinkedIn and PluralSight author. 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 became part of the UK national energy infrastructure. He talks about F# to whoever will listen.
Sorry, no member has joined this event so far.