Skills Matter : Functional Programming eXchange 2009: Anton

HOME

SCALA

JAVA

.NET

WEB

ANDROID & IOS

CLOUD

ARCHITECTURE & DDD

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

CLOUD COURSES

	BRIAN SLETTEN'S SEMANTIC WEB BOOTCAMP
	CHRIS RILEY'S CLOUD COMPUTING TECHNOLOGY OVERVIEW
	CHRIS RILEY'S DEVELOPING IN MICROSOFT AZURE
	DANIEL SIKAR'S AWS EC2 S3 WORKSHOP
	DEVELOPING FOR THE CLOUD WITH SPRING AND JAVA
	MARK BIRBECK'S RDFA THE THEORY AND PRACTICE OF STR
	MATSON WADE'S DEVELOPING WITH GOOGLE APP ENGINE
	PETER LUBBER'S HTML5 “FAST TRACK”
	RICK EVANS' COHERENCE CLUSTERED CACHING
	ROBERT SCHNEIDER'S AMAZON CLOUD STORAGE DEVELOPMEN
	ROBERT SCHNEIDER'S SALESFORCE.COM DEVELOPMENT COUR
	ROBERT SCHNEIDER'S SERVICE TESTING W SOAPUI PRO
	ROBERT SCHNEIDERS CLOUD COMPUTING FOR MANAGERS

CLOUD PODCASTS

	Hadoop in Context Andy Kent : 6th Sep 2010
	Hadoop and Cloudera Enterprise Mike Olson : 6th Sep 2010
	Flume Ian Wrigley : 6th Sep 2010
	Cassandra distributed databases on EC2 Daniel Sikar : 12th Aug 2010
	Faye: an Evented Server-Side App James Coglan : 10th Aug 2010
	Private clouds for agile teams Toby Hobson : 29th Jul 2010
	NetKernel and the Resource Oriented Clou Peter Rodgers : 26th Jul 2010
	Move your Applications around Patrick Kerpan : 1st Jul 2010
	Google App Engine Robert Schneider : 29th Jun 2010
	Boost Hibernate Performance by 10x Greg Luck : 14th Jun 2010
	Hadoop Pig Daniel Sikar : 8th Jun 2010
	Introduction to Sqoop Aaron Kimball : 3rd Jun 2010
	Hive at Last.fm Tim Sell : 3rd Jun 2010
	OSGi Workshop Marcel Offermans : 1st Jun 2010
	Infinispan Presentation Manik Surtani : 27th May 2010

OTHER CLOUD EVENTS

	Making Sense of Amazon Web Services Storage FREE EVENT: In The Brain of Robert Schneider London, Monday, September 13th
	Rick Evans' Coherence Clustered Caching 2 DAY COURSE. Featuring Daniel Sikar London, Monday, September 20th
	ITB Peter Rodgers FREE EVENT: In The Brain of Peter Rodgers London, Tuesday, September 21st
	Brian Sletten's Semantic Web Bootcamp 5 DAY COURSE. Featuring Brian Sletten London, Monday, September 27th
	Brian Sletten's Semantic Web Bootcamp 5 DAY COURSE. Paris, Monday, October 4th
	Rick Evans' Coherence Clustered Caching 2 DAY COURSE. Featuring Daniel Sikar Paris, Thursday, October 21st
	Peter Lubber's HTML5 “Fast Track” 2 DAY COURSE. Featuring Peter Lubbers London, Tuesday, November 2nd
	Running Memcached clusters on Amazon EC2 FREE EVENT: In The Brain of Daniel Sikar London, Thursday, November 4th