Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id <S277804AbRKDUBn>; Sun, 4 Nov 2001 15:01:43 -0500
Received: (majordomo@vger.kernel.org) by vger.kernel.org
	id <S277435AbRKDUBd>; Sun, 4 Nov 2001 15:01:33 -0500
Received: from leibniz.math.psu.edu ([146.186.130.2]:8161 "EHLO math.psu.edu")
	by vger.kernel.org with ESMTP id <S278450AbRKDUBW> convert rfc822-to-8bit;
	Sun, 4 Nov 2001 15:01:22 -0500
Date: Sun, 4 Nov 2001 15:01:12 -0500 (EST)
From: Alexander Viro <viro@math.psu.edu>
To: =?iso-8859-1?Q?Jakob_=D8stergaard?= <jakob@unthought.net>
cc: John Levon <moz@compsoc.man.ac.uk>, linux-kernel@vger.kernel.org,
        Daniel Phillips <phillips@bonn-fries.net>, Tim Jansen <tim@tjansen.de>
Subject: Re: PROPOSAL: dot-proc interface [was: /proc stuff]
In-Reply-To: <20011104205030.P14001@unthought.net>
Message-ID: <Pine.GSO.4.21.0111041453230.21449-100000@weyl.math.psu.edu>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=KOI8-R
Content-Transfer-Encoding: 8BIT
Sender: linux-kernel-owner@vger.kernel.org
X-Mailing-List: linux-kernel@vger.kernel.org



On Sun, 4 Nov 2001, [iso-8859-1] Jakob ?stergaard wrote:

> Strong type information (in one form or the other) is absolutely fundamental
> for achieving correctness in this kind of software.

Like, say it, all shell programming?  Or the whole idea of "file as stream of
characters"?  Or pipes, for that matter...

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/