Re: [Haskell-cafe] Can Haskell enforce the dimension?

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