Dimensional analysis with fundeps

[Ashley Yakeley]

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