From mboxrd@z Thu Jan  1 00:00:00 1970
From: forsyth@vitanuova.com
To: 9fans@cse.psu.edu
Subject: Re: [9fans] dhog the corruptor!
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Message-Id: <20011114092608.DE3CE19A27@mail.cse.psu.edu>
Date: Wed, 14 Nov 2001 09:26:51 +0000
Topicbox-Message-UUID: 2254e1fc-eaca-11e9-9e20-41e7f4b1d025

>
> AFAICT, though, dynamically typed languages don't have to worry about it.
> Skeptics would say "that's because the chances for error are already at
> maximum and can't be increased" :)

no, they do have to worry about it; it's just that sometimes they
pretend they don't!   it's one reason our dynamically loadable C
modules aren't in the standard Inferno distribution: i'm not happy
about the absence of type checking across the module to kernel interface.
(the interface the module presents to Limbo code that uses it is checked,
of course, but not its own interface to the kernel.)
it's less of a problem for device drivers because they have a
narrow interface that doesn't change too often.  it does change, though:
ulong one year, vlong the next.