Re: not null

[Harald Korneliussen <vintermann@gmail.com>]

On Mar 4, 5:09 pm, Adam Beneschan <a...@irvine.com> 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.