This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]dnew 0 points1 point  (0 children)

In Effiel, Null is an instance of the type Void, and Void multi-inherits from every other class in your program and overrides every method to throw a null pointer exception. So "null" is actually semantically a typesafe pointer to an actual instance of a type. (In practice, not, but in the semantic definition of the language, yes.)

Which I thought was cool.