HOME SCALA & F# JAVA .NET WEB GROOVY & GRAILS ANDROID & IOS NOSQL ARCHITECTURE AGILE & SCRUM AGILE DEVELOPER  
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.
SPONSORS
Skills Matter Ltd
Microsoft Research
Manning Publications Co.
Methods & Tools
TheServerSide
London Java Community
ClearView
GROOVY & GRAILS COURSES
Ashic Mahtab's Fasttrack to Git, ASHIC MAHTAB'S FASTTRACK TO GIT
Hans Dockter's Gradle In-Depth, HANS DOCKTER'S GRADLE IN-DEPTH
Masterclass: Reducing Technical Debt with Michael C. Feathers, REDUCING TECHNICAL DEBT WITH MICHAEL C. FEATHERS
SpringSource's Groovy and Grails Workshop, SPRINGSOURCE'S GROOVY & GRAILS WORKSHOP
GROOVY & GRAILS PODCASTS
:Routing, Traversal and URL Dispatch, Routing, Traversal and URL Dispatch
: 7th May 2013		 View Podcast: Routing, Traversal and URL Dispatch,
:Postcard of the Pyramid's Views, Postcard of the Pyramid's Views
: 7th May 2013		 View Podcast: Postcard of the Pyramid's Views,
Paul Brian:Pitfalls Of Using Frameworks, Pitfalls Of Using Frameworks
Paul Brian : 18th Apr 2013		 View Podcast: Pitfalls Of Using Frameworks,
Emil Vaughan:Adventures with Cython, Adventures with Cython
Emil Vaughan : 18th Apr 2013		 View Podcast: Adventures with Cython,
Kris Saxton:My experience of using server management framework, Salt, Using server management framework, Salt
Kris Saxton : 18th Apr 2013		 View Podcast: My experience of using server management framework, Salt,
Luke Daley:Ratpack - A Groovy micro web framework, Ratpack - A Groovy micro web framework
Luke Daley : 15th Apr 2013		 View Podcast: Ratpack - A Groovy micro web framework,
David A. Dawson:All hail the command object: are stateless services the only way?, All hail the command object: are statele
David A. Dawson : 18th Mar 2013		 View Podcast: All hail the command object: are stateless services the only way?,
Hans Dockter:Continuous Delivery Patterns for Large Software Stacks, Continuous Delivery Patterns for Large S
Hans Dockter : 13th Mar 2013		 View Podcast: Continuous Delivery Patterns for Large Software Stacks,
Tim Berglund:Git from the Bits Up, Git from the Bits Up
Tim Berglund : 28th Feb 2013		 View Podcast: Git from the Bits Up,
Peter Ledbrook:February - Groovy and Grails, February - Groovy and Grails
Peter Ledbrook : 18th Feb 2013		 Podcast Coming Soon: February - Groovy and Grails,
Russel Winder:Switch to Python 3… Now… Immediately, Switch to Python 3… Now… Immediately
Russel Winder : 12th Feb 2013		 View Podcast: Switch to Python 3… Now… Immediately,
Peter Ledbrook:Groovy Coding Practice, Groovy Coding Practice
Peter Ledbrook : 21st Jan 2013		 Podcast Coming Soon: Groovy Coding Practice,
Guillaume LaForge:Park Bench Discussion, Park Bench Discussion
Guillaume LaForge : 13th Dec 2012		 View Podcast: Park Bench Discussion,
Robert Fletcher:Grails for Hipsters, Grails for Hipsters
Robert Fletcher : 13th Dec 2012		 View Podcast: Grails for Hipsters,
Stéphane Maldini:Reactive Grails - Event oriented architecture made easy, Reactive Grails - Event oriented archite
Stéphane Maldini : 13th Dec 2012		 View Podcast: Reactive Grails - Event oriented architecture made easy,
OTHER GROOVY & GRAILS EVENTS
GR8Conf Europe 2013, GR8Conf Europe 2013
CONFERENCE (3 DAYS)
Copenhagen S, Wednesday, May 22nd BOOK NOW!
Luke Daley:Hans Dockter's Gradle In-Depth, Hans Dockter's Gradle In-Depth
3 DAY COURSE. Featuring Luke Daley
London, Wednesday, June 5th
Peter Ledbrook:SpringSource's Groovy and Grails Workshop, Springsource's Groovy & Grails Workshop
4 DAY COURSE. Featuring Peter Ledbrook
London, Monday, June 10th
Michael C. Feathers:Masterclass: Reducing Technical Debt with Michael C. Feathers, Reducing Technical Debt with Michael C. Feathers
2 DAY COURSE. Featuring Michael C. Feathers
London, Thursday, June 27th
Ashic Mahtab:Ashic Mahtab's Fasttrack to Git, Ashic Mahtab's Fasttrack to Git
2 DAY COURSE. Featuring Ashic Mahtab
London, Monday, July 1st
Ashic Mahtab:Ashic Mahtab's Fasttrack to Git, Ashic Mahtab's Fasttrack to Git
2 DAY COURSE. Featuring Ashic Mahtab
London, Monday, October 7th
Peter Ledbrook:SpringSource's Groovy and Grails Workshop, Springsource's Groovy & Grails Workshop
4 DAY COURSE. Featuring Peter Ledbrook
London, Monday, October 7th
Luke Daley:Hans Dockter's Gradle In-Depth, Hans Dockter's Gradle In-Depth
3 DAY COURSE. Featuring Luke Daley
London, Wednesday, October 9th
© Copyright 2003-2013, Skills Matter Ltd
About Us  Jobs  Find Us  Meeting & Training Rooms  Newsletter  Jobs: Sales Executive  Jobs: Student SkillsCaster  jobs - junior event coordinator  Open Source Journal  Jobs: Sponsorship Development  jobs: Marketing & Sales Graduate Internship  Jobs: HR Manager  jobs-Join Our Dev Team  DevOps Engineer  Front-End Engineer  Test Engineer