From mboxrd@z Thu Jan  1 00:00:00 1970
From: erik quanstrom <quanstro@labs.coraid.com>
Date: Fri,  8 Jun 2012 11:44:35 -0400
To: 9fans@9fans.net
Message-ID: <11ded4ffe3bd9d8b21f6db6358cd8782@coraid.com>
In-Reply-To: <CAJJ04x7Gd1sLizxnp9RT=45G5rGCYA3ygn-ebLvSSBW+UwOdtA@mail.gmail.c>
References: <e63d8255ab20d7e539962ba82aed7bb1@hamnavoe.com>
	<3c15204068afe321faaffb9c6da96e81@brasstown.quanstro.net>
	<B9B1C8F7-89F0-491E-8100-986515BDD638@quintile.net>
	<CAL4LZyjmBSx3KV3tOyaPBMoT2CNqXPs6ZGd89S7UYQ1E5Ewy2A@mail.gmail.c>
	<5770988d827477da20e090349680932d@brasstown.quanstro.net>
	<20120603021256.56c3334c@inari.ethans.dre.am>
	<CAMdzYRojKQrNWg11b=nFw8hkg6KV6VQA5xgjbn8Z6K=K+adkPQ@mail.gmail.com>
	<20120604034833.68a0f565@inari.ethans.dre.am>
	<19032fce09c8b87b98d44452d894a0aa@ladd.quanstro.net>
	<20120604050110.08369567@inari.ethans.dre.am>
	<CAJJ04x7Gd1sLizxnp9RT=45G5rGCYA3ygn-ebLvSSBW+UwOdtA@mail.gmail.c>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Subject: Re: [9fans] Heresy alert, Zerox -> Clone
Topicbox-Message-UUID: 9a1367ec-ead7-11e9-9d60-3106f5b1d025

> Yes, which makes one wonder about type systems in programming languages and
> if they're any better than documented conventions of I/O.  (i think they
> may not be, but they serve some documentation purposes all their own)

the unix model is that files are typeless.  or at most the linker refuses to read
files it can't read.  before unix, oses typically had file types
enforced by the operating system.

while the bell labs incination to be typeless has worked very well for files,
it has turned out that you really want types for programming languages.

i haven't seen any evidence that strongly typed files are a good idea.  but maybe
others have?

- erik