C++'s Fundamental Differences from Racket

• Every name in C++ must have a declared type. This may first seem like a nuisance, however: