[Haskell-cafe] Can Haskell enforce the dimension?

[Haihua]

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


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100409/7b750382/attachment.html