Re: Spec#, nullables and more

[Walter Bright]

retard wrote:

In a functional language:

start_the_car c = case c of
  Just car -> start car
  Nothing -> error "not initialized"

And the null pointer exception is reinvented!