F#'s type system supports units of measure. It looks really nice: http://blogs.msdn.com/b/andrewkennedy/archive/2008/08/29/uni...