[Haskell-cafe] Can Haskell enforce the dimension?

9 Apr 2010

      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.

Is there a way to do this in Haskell?

Thanks,
Haihua