This is nonsense. Static types can represent things with a non-fixed set of attributes just fine. Also, note that the article isn't implying what you are: "Whe

This is nonsense. Static types can represent things with a non-fixed set of attributes just fine. Also, note that the article isn't implying what you are: "Where stronger types are naturally present in the program, taking advantage of them to get better testing is certainly worth doing..."