From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Fri, 31 Mar 2006 07:56:38 +0530
From: "Martin C. Atkins" <martin_ml@parvat.com>
To: Fans of the OS Plan 9 from Bell Labs <9fans@cse.psu.edu>
Subject: Re: [9fans] new compilers
Message-Id: <20060331075638.51bec364@localhost.localdomain>
In-Reply-To: <462af5897372db894edcd5757726460e@quintile.net>
References: <20060330204632.GI17479@submarine>
	<462af5897372db894edcd5757726460e@quintile.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Topicbox-Message-UUID: 28faab02-ead1-11e9-9d60-3106f5b1d025

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" <steve@quintile.net> 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			martin_ml@parvat.com
Parvat Infotech Private Limited		http://www.parvat.com{/,/martin}