Dimensional analysis with fundeps
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