[Haskell-cafe] Can Haskell enforce the dimension?

Haihua haihualin at 163.com
Fri Apr 9 12:28:23 EDT 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?


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

More information about the Haskell-Cafe mailing list