At 2001-04-09 09:36, anatoli wrote:
>It seems that fundeps are powerful enough to do
>compile-time dimensional analysis in Haskell.
I'm very impressed and slightly frightened. And there was me complaining
that since you can't parameterise types in Haskell by integer (or other
values) the way you can with C++ templates, you can't do strongly-typed
dimensions in Haskell...
--
Ashley Yakeley, Seattle WA
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
