Dimensional analysis with fundeps

Ashley Yakeley [email protected]
Mon, 9 Apr 2001 14:17:12 -0700

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