Units of Measure in F#

[Nick Sabalausky]

"bearophile" <bearophileHUGS at lycos.com> wrote in message 
news:gcdt5p$10t0$1 at digitalmars.com...
>I have found this interesting old thread, I don't know how much those 
>things are true today too:
> http://www.digitalmars.com/webnews/newsgroups.php?art_group=digitalmars.D&article_id=36939
>
> Beside allowing algebraic data types, that are quite useful, a 
> functional-like type system allows to implement Units of Measure in a nice 
> way:
> http://blogs.msdn.com/andrewkennedy/archive/2008/08/20/units-of-measure-in-f-part-one-introducing-units.aspx
>
> For people that don't remember what algebraic data types are:
> http://en.wikipedia.org/wiki/Algebraic_data_type
>
> This power also allows to use pattern matching, absent in Python, present 
> in Haskell, Ocaml, Scala, etc.
>
> Bye,
> bearophile

That's awesome. I want it!