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

AGILE DEVELOPMENT COURSES

	JUTTA ECKSTEIN'S AGILE SOFTWAR..
	ANTONY MARCANO & RACHEL DAVIES' AGILE QA
	ANTONY, ANDY AND CHRIS' FEATURE INJECTION
	GOJKO ADZIC'S BDD FOR DEVELOPERS
	GOJKO ADZIC'S EVOLUTIONARY DESIGN
	GOJKO ADZIC'S EXPLORING DIFFERENT MODELS
	GOJKO ADZIC'S INTENT REVEALING TESTS
	GOJKO ADZIC'S TEST DRIVEN DEVELOPMENT WORKSHOP
	GOJKO ADZIC'S TRANSFORMATION PRIORITY PREMISE
	JANET GREGORY'S AGILE TESTING WORKSHOP
	JON & KEVLIN'S AGILE DEVELOPMENT COURSE
	KEVLIN & JON'S MASTERING AGILE PRACTICE
	KOHSUKE KAWAGUCHI CI WITH JENKINS/HUDSON
	LINDA RISING'S INFLUENCE STRATEGIES
	LINDA RISING'S PATTERNS FOR CUSTOMER INTE
	LINDA RISING'S PATTERNS FOR INTRODUCING NEW IDEAS
	LIZ KEOGH'S AGILE, LEAN & BDD COURSE
	PEKKA KLARCK'S ROBOT FRAMEWORK HANDS-ON TRAINING
	ROBERT SCHNEIDER'S SERVICE TESTING W SOAPUI PRO
	SIMON BROWN'S ENTERPRISE SOFTWARE DEVELOPER
	STEVE FREEMAN AND NAT PRYCE'S GROWING SYSTEMS
	THOUGHTWORKS CONTINUOUS DELIVERY
	TOM & MARY POPPENDIECK'S LEAN SOFTWARE DEVELOPMENT
	UNCLE BOB MARTIN'S CLEAN CODE
	UNCLE BOB'S ADVANCED TDD
	UNCLE BOB'S CLEAN CODE WORKSHOP
	UNCLE BOB'S TEST DRIVEN DEVELOPMENT & REFACTORING

AGILE DEVELOPMENT PODCASTS

	Trust & Change Garry Shutler : 30th Jan 2012
	Continuous Delivery with Cloudbees Marco Vermeulen : 8th Dec 2011
	Building JavaScript applications Damjan Vujnovic : 29th Nov 2011
	Web architecture Uncle Bob (Robert C. Martin) : 28th Nov 2011
	Maps of Living Documentation Christian Hassa : 18th Nov 2011
	Driving Requirements from Business Value Chris Matts : 18th Nov 2011
	Visualising quality Gojko Adzic : 18th Nov 2011
	BDD As It's Meant To Be Done Matt Wynne : 18th Nov 2011
	What Testers and Developers Can Learn David Evans : 18th Nov 2011
	Where Exploration And Automation Meet: G Andrew Kemp : 18th Nov 2011
	Specifying User Interaction Lasse Koskela : 18th Nov 2011
	TDD Django Harry Percival : 16th Nov 2011
	From CI to CD : 11th Nov 2011
	To Future Branch or Not To Future B... : 11th Nov 2011
	Rolling Back Vs Rolling Forward : 11th Nov 2011

OTHER AGILE DEVELOPMENT EVENTS

	Dialogue Sheets, a new tool for retrospectives FREE EVENT: In The Brain of Allan Kelly London, Monday, February 13th
	ThoughtWorks Quarterly Briefings FREE EVENT: Is programming language choice Manchester, Monday, February 13th
	ThoughtWorks Quarterly Briefings FREE EVENT: Is programming language choice London, Thursday, February 16th
	Linda Rising's Patterns for Introducing New Ideas 1 DAY COURSE. Featuring Linda Rising London, Monday, February 27th
	Deception and Estimation: How We Fool Ourselves FREE EVENT: In The Brain of Linda Rising London, Monday, February 27th
	Agile Testing UK FREE EVENT: Powershell Workshop London, Monday, February 27th
	Linda Rising's Influence Strategies .5 DAY COURSE. Featuring Linda Rising London, Tuesday, February 28th
	Linda Rising's Patterns for Customer Inte .5 DAY COURSE. Featuring Linda Rising London, Tuesday, February 28th