On: Brilliance of Haskell's Maybe type and the Value of Static Type Checking

[iman]

I don't have a source and I don't quite remember where I heard it. It's probably not true. Although this post from Lambda the Ultimate mentions a similar sentiment:

http://lambda-the-ultimate.org/node/1905#comment-23217

[masklinn → iman]

It's still a bit weird, I think: a lot of the migration to Java was from enterprise C++, and while C++ has null pointers it doesn't have null references. So that wouldn't have been much of a change.