"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 mailing list