[Haskell-cafe] Can Haskell enforce the dimension?

Edward Z. Yang ezyang at MIT.EDU
Fri Apr 9 12:34:32 EDT 2010

Excerpts from Haihua's message of Fri Apr 09 12:28:23 -0400 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?



More information about the Haskell-Cafe mailing list