Excerpts from Haihua's message of Fri Apr 09 12:28:23 -0400 2010: > In C++, template can be used to enforce the dimension. For example, > F=m*a is OK and F=m*t will issue a compile time error. > > Is there a way to do this in Haskell?
http://hackage.haskell.org/package/dimensional Cheers, Edward _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe