Units of Measure in F#

[Denis Koroskin]

On Tue, 07 Oct 2008 00:41:29 +0400, bearophile <bearophileHUGS at lycos.com>  
wrote:

> 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

Arghh! I've almost done the trick with D templates and then I got this:
Assertion failure: 'i < parameters->dim' on line 784 in file 'template.c'

DMD is not ready for my funky templates yet! :)

I'll post my results (and a bug report) soon.