"Strong typing vs. strong testing"
Thomas A. Russ
tar at sevak.isi.edu
Tue Sep 28 19:28:08 CEST 2010
Malcolm McLean <malcolm.mclean5 at btinternet.com> writes:
> I'd like to design a language like this. If you add a quantity in
> inches to a quantity in centimetres you get a quantity in (say)
> metres. If you multiply them together you get an area, if you divide
> them you get a dimeionless scalar. If you divide a quantity in metres
> by a quantity in seconds you get a velocity, if you try to subtract
> them you get an error.
Done in 1992.
citation at <http://portal.acm.org/citation.cfm?id=150168>
and my extension to it as part of the Loom system:
Thomas A. Russ, USC/Information Sciences Institute
More information about the Python-list