Skills Matter : Functional Programming eXchange 2009: Anton

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

SOFTWARE ARCHITECTURE COURSES

	AYENDE RAHIEN'S RAVENDB WORKSHOP
	BRIAN SLETTEN'S SEMANTIC WEB BOOTCAMP
	CRAIG LARMAN'S OBJECT DESIGN W PATTERNS
	DAVID LARIBEE'S LEADING LEAN/AGILE TEAMS
	DAVID LARIBEE'S LEADING LEAN/AGILE TEAMS IN NYC
	ERIC EVANS' DDD IMMERSION WORKSHOP
	ERIC EVANS' DDD OVERVIEW
	GREG YOUNG'S CQRS, DOMAIN EVENTS & DDD
	GREG YOUNG'S SUPER INTENSIVE CQRS WEEKEND
	IAN ROBINSON AND JIM WEBBER'S NEO4J TUTORIAL
	MARK BIRBECK'S RDFA THEORY AND PRACTICE
	RICK EVANS' COHERENCE CLUSTERED CACHING
	SIMON BROWN'S ENTERPRISE SOFTWARE DEVELOPER
	SIMON BROWN'S SOFTWARE ARCHITECTURE FOR DEVELOPERS
	UDI DAHAN'S ADV DISTRIBUTED DESIGN W SOA
	UDI DAHAN'S NSERVICEBUS WORKSHOP
	UNCLE BOB'S ADVANCED TDD

SOFTWARE ARCHITECTURE PODCASTS

	Enterprise Integration John T. Davies : 12th Dec 2011
	Web architecture Uncle Bob (Robert C. Martin) : 28th Nov 2011
	Frustrated Architect Simon Brown : 15th Nov 2011
	State of NOSQL Emil Eifrem : 2nd Nov 2011
	Cassandra Dave Gardner : 2nd Nov 2011
	Dr Who & Neo4j Ian Robinson : 2nd Nov 2011
	MongoDB + Scala: Case Classes, Documents Brendan McAdams : 2nd Nov 2011
	Introduction to Platform MapReduce Simon Waterer : 12th Oct 2011
	Get started - FuseIDE Scott Cranton : 27th Sep 2011
	Messaging's Future Martin Sustrik : 23rd Sep 2011
	Introducing MQTT Andy Piper : 23rd Sep 2011
	Realtime web: Not there yet! Marek Majkowski : 23rd Sep 2011
	PubSub for the web : PubSubHubbub, XMPP Julien Genestoux : 23rd Sep 2011
	Q&A with Udi Dahan Udi Dahan : 13th Sep 2011
	Load Testing for Developers Simon Brown : 5th Sep 2011

OTHER SOFTWARE ARCHITECTURE EVENTS

	Eric Evans' DDD Immersion Workshop 4 DAY COURSE. Featuring Alberto Brandolini London, Monday, February 13th
	Drive your DBA Crazy in 3 easy steps FREE EVENT: In The Brain of Alberto Brandolini London, Tuesday, February 14th
	Udi Dahan's NServiceBus Workshop 4 DAY COURSE. Featuring Andreas Ohlund London, Monday, February 20th
	Putting your events on a diet FREE EVENT: In The Brain of Andreas Ohlund London, Monday, February 20th
	Ayende Rahien's RavenDB Workshop 2 DAY COURSE. Featuring Itamar Syn-Hershko London, Tuesday, February 28th
	QCon London 2012 CONFERENCE (3 DAYS) London, Wednesday, March 7th BOOK NOW!
	Elevate Events FREE EVENT: Elevate Launch Event London, Wednesday, March 7th
	Craig Larman's Object Design w Patterns 4 DAY COURSE. Featuring Francis Sanger London, Monday, March 12th