C++'s Fundamental Differences from Racket

• Every name in C++ must have a declared type. This may first seem like a nuisance, however:
  • Strong typing helps detect programming errors. For example:

      > (define add 
          (lambda (x y)
            (+ x y)))
      > (add 3 "foo")
      Error +: expects type <number> as 2nd argument, given: "foo"; ...

    would be detected by the C++ compiler. C++ version:

    int add(int a, int b) { return a + b; }

  • Type declarations help make programs more readable