[Haskell-cafe] Can Haskell enforce the dimension?

Henning Thielemann lemming at henning-thielemann.de
Fri Apr 9 17:16:12 EDT 2010

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.


More information about the Haskell-Cafe mailing list