Questions
- What purpose does type checking serve, besides just frustrating tired programmers?
- Why is a structure type (in our case, a class) needed to represent type information? Why can’t we just use an integer to represent each type?
- The code in this chapter outputs lines that report every successful type check with
OK
. This is very reassuring. Why don’t other compilers report successful type checks like this? - Java is pickier about types than its ancestor, the C programming language. What are the advantages of being pickier about types, instead of automatically converting them on demand?
Join our community on Discord
Join our community’s Discord space for discussions with the authors and other readers: