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
SCALA & F# COURSES
Ashic Mahtab's Fasttrack to Git, ASHIC MAHTAB'S FASTTRACK TO GIT
David Pollak's Fast Track to Lift, DAVID POLLAK'S FAST TRACK TO LIFT
Fast track to Clojure , FAST TRACK TO CLOJURE
Fast Track to F# with Tomas Petricek & Phil Trelford, FAST TRACK TO F# WITH TOMAS PETRICEK & PHIL TRELFO
Masterclass: Reducing Technical Debt with Michael C. Feathers, REDUCING TECHNICAL DEBT WITH MICHAEL C. FEATHERS
Russel Winder's Python Workshop, RUSSEL WINDER'S PYTHON WORKSHOP
Typesafe's Advanced Scala, TYPESAFE'S ADVANCED SCALA
Typesafe's Fast Track to Play with Scala, TYPESAFE'S FAST TRACK TO PLAY WITH SCALA
Typesafe's Fast Track to Scala, TYPESAFE'S FAST TRACK TO SCALA
Typesafe's Scaling up with Akka and Scala, TYPESAFE'S SCALING UP WITH AKKA & SCALA
Well-Typed's Advanced Haskell, WELL-TYPED'S ADVANCED HASKELL
Well-Typed's Fast Track to Haskell, WELL-TYPED'S FAST TRACK TO HASKELL
Writing Concurrent Code with Lock-Free Algorithms with Martin Thompson, WRITING CONCURRENT CODE WITH LOCK-FREE ALGORITHMS
SCALA & F# PODCASTS
:Be a better developer, Be a better developer
: 21st May 2013		 View Podcast: Be a better developer,
:Developing Python with PyDev, Developing Python with PyDev
: 21st May 2013		 View Podcast: Developing Python with PyDev,
Yodit Stanton:Machine Learning with Storm + Redis, Machine Learning with Storm + Redis
Yodit Stanton : 7th May 2013		 View Podcast: Machine Learning with Storm + Redis,
Bruce Durling:Cascalog for the 80% of Data Science, Cascalog for the 80% of Data Science
Bruce Durling : 7th May 2013		 View Podcast: Cascalog for the 80% of Data Science,
Adam Mlocek:F# embedded in Excel, F# embedded in Excel
Adam Mlocek : 25th Apr 2013		 View Podcast: F# embedded in Excel,
Adam Mlocek:F# embedded in Excel part 2, F# embedded in Excel part 2
Adam Mlocek : 25th Apr 2013		 View Podcast: F# embedded in Excel part 2,
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,
Phil Trelford:Try F# Hands On, Try F# Hands On
Phil Trelford : 11th Apr 2013		 Podcast Coming Soon: Try F# Hands On,
Jon Pretty:Rapture I/O, Rapture I/O
Jon Pretty : 10th Apr 2013		 View Podcast: Rapture I/O,
Andres Löh:Datatype-Generic Programming in Haskell, Datatype-Generic Programming in Haskell
Andres Löh : 9th Apr 2013		 View Podcast: Datatype-Generic Programming in Haskell,
Aslak Hellesøy:Keynote: The Cucumber Ecosystem, Keynote: The Cucumber Ecosystem
Aslak Hellesøy : 4th Apr 2013		 View Podcast: Keynote: The Cucumber Ecosystem,
Matt Wynne:Why your step definitions should be one-liners and other pro tips, Why your step definitions should be one-
Matt Wynne : 4th Apr 2013		 View Podcast: Why your step definitions should be one-liners and other pro tips,
Andrew Premdas:Working in the Cucumber World, Working in the Cucumber World
Andrew Premdas : 4th Apr 2013		 View Podcast: Working in the Cucumber World,
OTHER SCALA & F# EVENTS
F#unctional Londoners Meetup Group:F# Type Providers Hands On, F#unctional Londoners Meetup Group
FREE EVENT: F# Type Providers Hands On
London, Thursday, May 23rd
F#unctional Londoners Meetup Group:F# on iPad and iPhone with Xamarin Studio, F#unctional Londoners Meetup Group
FREE EVENT: F# on iPad and iPhone with Xam
London, Thursday, May 30th
Jon Pither Functional Programming in the enterprise, Functional Programming in the enterprise
FREE EVENT: In The Brain of Jon Pither
London, Monday, June 3rd
The London Clojure Community:Deuce is (not yet) Emacs under Clojure, The London Clojure Community
FREE EVENT: Deuce is (not yet) Emacs under
London, Tuesday, June 4th
Philipp Haller:Typesafe's Scaling up with Akka and Scala, Typesafe's Scaling up with Akka & Scala
2 DAY COURSE. Featuring Philipp Haller
London, Wednesday, June 5th
Martin Thompson:Writing Concurrent Code with Lock-Free Algorithms with Martin Thompson, Writing Concurrent Code with Lock-Free Algorithms
3 DAY COURSE. Featuring Martin Thompson
London, Wednesday, June 5th
Philipp Haller Simplifying Asynchronous Code with Scala Async, Simplifying Asynchronous Code with Scala Async
FREE EVENT: In The Brain of Philipp Haller
London, Wednesday, June 5th
Scala Days NYC - June 10-12th, Scala Days NYC - June 10-12th
CONFERENCE (3 DAYS)
New York, Monday, June 10th BOOK NOW!
© 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