|
|
Functional Programming eXchange 2009: Anton Schwaighofer on F# and Units-of-measure for Technical Computing
F# and Units-of-measure for Technical Computing
F# (shipped in Visual Studio 2010) is a functional programming language that supports static checking and type inference for units-of-measure. Even in the simplest applications, units-of-measure can act as a valuable additional check for the correctness of the code.
I will start by giving an introduction to units-of-measure and their implementation in F#. I'll work through smaller and larger code examples that make use of units-of-measure. As a large application, I'll detail a wrapper for a mathematical programming and optimization toolbox (Microsoft Solver Foundation) that handles units-of-measure transparently.
Download the slides here
ABOUT ANTON SCHWAIGHOFER
|
Anton Schwaighofer is working as an Applied Researcher at Microsoft Research Cambridge. His current area of focus is data analysis & machine learning, with applications to online advertising. He is a computer scientist by training, but moved on to wo
More about Anton Schwaighofer
|
|
PODCAST F# AND UNITS-OF-MEASURE FOR TECHNICAL COMPUTING
This session took part at the Functional Programming eXchange 2009. You can view the other 8 podcasts here.
|
|
|
|
OTHER CLOUD EVENTS
|
Robert Schneider's Service Testing w soapUI Pro
2 DAY COURSE. Featuring Robert Schneider London, Monday, March 19th
|
|
Peter Lubbers' HTML5 “Fast Track”
2 DAY COURSE. Featuring Peter Lubbers London, Tuesday, March 20th
|
|
Accessory Shop in the Cloud
FREE EVENT:
In The Brain of James Gellately-Smith
London, Thursday, May 17th
|
|
Peter Lubbers' HTML5 “Fast Track”
2 DAY COURSE. Featuring Peter Lubbers London, Monday, May 21st
|
|
Peter Lubbers' HTML5 “Fast Track”
2 DAY COURSE. Featuring Peter Lubbers London, Tuesday, July 10th
|
|
Peter Lubbers' HTML5 “Fast Track”
2 DAY COURSE. Featuring Peter Lubbers London, Tuesday, September 18th
|
|
Peter Lubbers' HTML5 “Fast Track”
2 DAY COURSE. Featuring Peter Lubbers London, Tuesday, November 13th
|
|
|
|