From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <462af5897372db894edcd5757726460e@quintile.net>
From: "Steve Simon" <steve@quintile.net>
Date: Fri, 31 Mar 2006 02:15:57 +0100
To: 9fans@cse.psu.edu
Subject: Re: [9fans] new compilers
In-Reply-To: <20060330204632.GI17479@submarine>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Topicbox-Message-UUID: 28e1d974-ead1-11e9-9d60-3106f5b1d025

>   Has anybody ever thought about extending the usual file-based interfaces
>  with a typechecking ?

It did occur to me one could have:

	echo 10 oranges > /dev/apple-count
	echo: write failed: inapropriate fruit

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