[Haskell-cafe] Can Haskell enforce the dimension?

[Henning Thielemann]

On Sat, 10 Apr 2010, Haihua wrote:

> Hi,
> 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.

http://www.haskell.org/haskellwiki/Libraries_and_tools/Mathematics#Physical_units