Complexity Shock Horror II: the Sequel (was Re: MD5 in erlang .)
Marc Ernst Eddy van Woerkom
Tue Apr 1 12:35:05 CEST 2003
> Yet, I don't see *any* scalar values in the world around me. They *all*
> have units of measurement.
Actually the scalars without dimension are import to characterize system behaviour
and are used e.g. to help building proper miniature models for aerodynamics.
BTW dimensional analysis
seems to be an instance of abstract interpretation
used in physics. :)
> For a while I tried designing a new language around measurements.
Last time I did numerical simulations in engineering (around 1997) there was
still FORTRAN in use and things were moving slowly towards C++.
The next big thing might be general use of interval arithmetics (where numeric
types get proven error bounds annotated for all calculations) in the
compilers (Sun is active here).
Annotating types with units for unit type safety I have not seen as a big
More information about the erlang-questions