Re: not null

[Jacob Sparre Andersen <sparre@nbi.dk>]

Harald Korneliussen wrote:
> Adam Beneschan wrote:

> > I'm having difficulty understanding the point. �You have to have
> > the idea of the lack of a reference. �How else would you implement
> > a linked list abstraction?
> 
> You can use algebraic data types to do that in a type safe manner.
> Haskell, Ocaml and many smaller functional languages do: If a
> function returns a "Maybe Integer" type, the compiler will warn you
> if you pretend it's an Integer without dealing with the "Nothing"
> case.

Can this be implemented as a static check?  (Or is there a good reason
that it is only a warning?)

It would be nice(TM) if Ada compilers could do something like that for
with null access types.

Greetings,

Jacob
-- 
Adlai Stevenson said it all when, at an event during the
1956 Presidential campaign, a woman shouted, "You have the
vote of every thinking person!" Stevenson shouted back,
"That's not enough, madam, we need a majority!"