I think there's a library called "dimensional" or something that does this sort of thing.
Alex On Sun, Jul 12, 2009 at 7:44 PM, Carlton Mills<crmills_2...@yahoo.com> wrote: > > I can't see where this has been proposed, so I will propose it. It is clear > that programming languages vars/expressions will be required to carry units > in addition to the value. A mission to Mars was botched because of units > mismatch that was not caught. The languages F# and Fortress include a way to > specify units on a variable and value. The compiler enforces unit conformance. > > I have no idea if automatic conversion is a good idea or not. > > I have no idea what the proper technical term I should have used; thus the > use of furlongs in the subject to get attention. > > I don't know if this is difficult or not, but I am reasonable sure that > compiler enforced units conformance will be required in government and space > agency contracts. (Probably will happen a year after M$ has a good > implementation available - this could be a competitive advantage). > > -Carlton Mills, Urbana, Illinois > > > > _______________________________________________ > Haskell-prime mailing list > Haskell-prime@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-prime > _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
