On Sun, Nov 04, 2001 at 03:01:12PM -0500, Alexander Viro wrote:
>
>
> 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...
>
Shell programming is great for small programs. You don't need type information
in the language when you can fit it all in your head.
Now, go write 100K lines of shell, something that does something that is not
just shoveling lines from one app into a grep and into another app. Let's say,
a database. Go implement the next Oracle replacement in bash, and tell me you
don't care about types in your language.
Why do we have "file formats", well that is because files are just streams
of characters, and we need more structure than just that.
This is exactly what I'm proposing - having "just" files in proc is fine,
but not knowing the type of the information they present is catastrophic.
--
................................................................
: jakob@unthought.net : And I see the elder races, :
:.........................: putrid forms of man :
: Jakob Østergaard : See him rise and claim the earth, :
: OZ9ABN : his downfall is at hand. :
:.........................:............{Konkhra}...............:
-
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/
This archive was generated by hypermail 2b29 : Wed Nov 07 2001 - 21:00:23 EST