Skills Matter : Functional Programming eXchange 2009: Anton

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

PROGRESSIVE JAVA COURSES

	ASHIC MAHTAB'S FASTTRACK TO GIT
	BERT ERTMAN'S TRANSACTIONAL PROGRAMMING USING EJB
	BRIAN SLETTEN'S REST AND RESOURCE-ORIENTED ARCHITE
	CHRISTOPHE HERREMAN'S SPRING ACTIONSCRIPT COURSE
	CONTINUOUS INTEGRATION AND DELIVERY
	DANIJEL ARSENOVSKI'S REFACTORING DOJO
	DAVID LARIBEE'S LEADING LEAN/AGILE TEAMS
	DAVID POLLAK'S FAST TRACK TO LIFT
	DMITRY BUZDIN'S ADVANCED GOOGLE WEB TOOLKIT
	ENTERPRISE INTEGRATION WITH SPRING - SPRINGSOURCE
	ERIC EVANS' DDD FOUNDATIONS
	ERIC EVANS' STRATEGIC DESIGN
	FAST TRACK TO CLOJURE
	GOJKO ADZIC'S TEST DRIVEN DEVELOPMENT WORKSHOP
	HANS DOCKTER'S GRADLE IN-DEPTH
	HOWARD LEWIS SHIP'S TAPESTRY WEB DEVELOPMENT COURS
	IAN ROBINSON AND JIM WEBBER'S NEO4J TUTORIAL
	JON & KEVLIN'S AGILE DEVELOPMENT COURSE
	KITO MANN'S JSF2 IN ACTION
	KITO MANN'S JSF2 UPDATE COURSE
	REDUCING TECHNICAL DEBT WITH MICHAEL C. FEATHERS
	RICHARD CLARK'S HTML5 MOBILE MASTERY
	RICHARD CLARK'S WEBSOCKETS APPLICATION DEVELOPMENT
	SIMON BROWN'S ARCHITECTURE FOR DEVELOPERS
	SIMON BROWN'S ENTERPRISE SOFTWARE DEVELOPER
	SPRING SOURCE'S TOMCAT ADMINISTRATION
	SPRINGCOURSE'S HIBERNATE WITH SPRING
	SPRINGSOURCE'S CORE SPRING
	SPRINGSOURCE'S GROOVY & GRAILS WORKSHOP
	SPRINGSOURCE'S SPRING WEB COURSE
	TYPESAFE'S ADVANCED SCALA
	TYPESAFE'S FAST TRACK TO PLAY WITH SCALA
	TYPESAFE'S FAST TRACK TO SCALA
	UNCLE BOB'S CLEAN CODE WORKSHOP
	UNCLE BOBS AGILE PRINCIPLES
	WRITING CONCURRENT CODE WITH LOCK-FREE ALGORITHMS

PROGRESSIVE JAVA PODCASTS

	From Patterns to Code: Coding Simple Ev Russ Miles : 23rd May 2013
	Fighting for Simplicity with Spring Russ Miles : 21st May 2013
	Spring Security Javaconfig: New Kid on t David Syer : 21st May 2013
	Streaming analytics at scale : 16th May 2013
	High Performance Design Nick Zeeb : 14th May 2013
	Measures Of Application Performance Mikhail Kirvoshein : 14th May 2013
	Writing Hybrid GWT/JavaScript Applicatio Dmitry Buzdin : 13th May 2013
	Machine Learning with Storm + Redis Yodit Stanton : 7th May 2013
	Considerations for using NoSQL technolog Akmal Chaudhri : 7th May 2013
	Cascalog for the 80% of Data Science Bruce Durling : 7th May 2013
	Lightning Talks Various Speakers : 7th May 2013
	Intro to Kotlin Workshop Hadi Hariri : 2nd May 2013
	Do you really get class loaders? Simon Maple : 25th Apr 2013
	Feature Releasing Robert Rees : 25th Apr 2013
	Architectural Simplicity through Events Russ Miles : 24th Apr 2013

OTHER PROGRESSIVE JAVA EVENTS

	Neo4J User Group FREE EVENT: Discuss a little Graph Theory London, Wednesday, May 29th
	Functional Programming in the enterprise FREE EVENT: In The Brain of Jon Pither London, Monday, June 3rd
	Best Practices for Migrating Spring Applications to Java EE 6 FREE EVENT: In The Brain of Bert Ertman London, Tuesday, June 4th
	The London Clojure Community FREE EVENT: Deuce is (not yet) Emacs under London, Tuesday, June 4th
	Hans Dockter's Gradle In-Depth 3 DAY COURSE. Featuring Luke Daley London, Wednesday, June 5th
	Writing Concurrent Code with Lock-Free Algorithms 3 DAY COURSE. Featuring Martin Thompson London, Wednesday, June 5th
	London Java Community FREE EVENT: Java Development Testing London, Thursday, June 6th
	Springsource's Groovy & Grails Workshop 4 DAY COURSE. Featuring Peter Ledbrook London, Monday, June 10th