Specifications: Explain dynamic typing

[amyjko]

Overall, I thought Amy explained the concept of specifications fairly well, and the examples really helped me understand the terms better. If I were to critique anything about this chapter, it would be to perhaps talk about dynamic typing and static verification in addition to already talking about static typing and dynamic verification. I ended up looking up both those terms, since I was interested in what they mean, but it could be helpful to talk about the benefits and tradeoffs of static and dynamic verification. Having a way to compare the static and dynamic may help understand what’s good and bad about them with regards to specifications. Other than that though, I thought the chapter was very well written, and the examples, both code and textual were quite useful.