Do you think Java is a type-safe language ? Read Upenn’s professor’s take on it