• 516052 (unregistered)

    "combines the syntactic elegance of C with the run-time efficiency of Smalltalk"

    God. This had me laughing.

  • (nodebb)

    The type check seems to be unnecessary anyway. GetFirstTentacle is clearly allowed to return null, even if called against an octopus or squid (presumably some of them have lost all their tentacles). So there should be no issue skipping the type check and calling GetFirstTentacle anyway. If it's a cat, it should just return null - we don't care what it is, just that it has no tentacles to steal. Which also means that if someone adds a tentacled cat to the system it won't break this function. .

Leave a comment on “A Type of Type Safety”

Log In or post as a guest

Replying to comment #:

« Return to Article