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