Re: Uninitialized "out" parameters

[fjh@mundook.cs.mu.OZ.AU (Fergus Henderson)]

dewar@cs.nyu.edu (Robert Dewar) writes:

>... there are VERY good reasons why comparable static systems
>cannot be designed for dealing with the uninitialized variable problem
>(please reread carefully my example of the 2 gig array in an allocate
>on demand environment -- and response to how your decidable system
>would accomodate this requirement).

I haven't seen your example.  I tried searching for it using dejanews,
but I did not find any article in this thread posted by you that
gave an example of a 2 gig array.

But, even without seeing your example, I'm pretty confident that a
statically decidable system could handle those sorts of thing.
In fact, for any given set of examples, there is _guaranteed_ to be
_some_ statically decidable system which handles those examples!
Whether such a system could also be useful, orthogonal, practical, etc.
is of course another question; we'd have to see the examples in
question to be able to judge.

--
Fergus Henderson <fjh@cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh@128.250.37.3         |     -- the last words of T. S. Garp.