Ian Currie's Newspeak language, for safety-critical programming did that. Well, to be more precise, it added dimensional analysis to the type analysis.
Neat. Don't know anything else that has put it in the language. Anyone? Martin On Fri, 31 Mar 2006 02:15:57 +0100 "Steve Simon" <[EMAIL PROTECTED]> wrote: > More seriously one of our researchers once asked me why computer > langages don't allow people to associate variables and constants > with SI units, allowing True type checking; I never managed to > come up with a good answer. > > -Steve -- Martin C. Atkins [EMAIL PROTECTED] Parvat Infotech Private Limited http://www.parvat.com{/,/martin}
