That’s an interesting (and amusing) point—I didn’t even think of that when reading it! (I was too busy shaking my head at the basic absurdity of the analogy: what human playwright, when writing a play, would accidentally have one of their main characters turn into a plant or a stellar object or any such thing? If we take the analogy at face value, doesn’t it show that type checking is manifestly unnecessary if your code is being written by humans…?)
Furthermore I don’t get how type checking would help monkeys write code any better. They would just have less code compile (and the same is true of adding a spelling and grammar checker to their Shakespeare plays)
That’s an interesting (and amusing) point—I didn’t even think of that when reading it! (I was too busy shaking my head at the basic absurdity of the analogy: what human playwright, when writing a play, would accidentally have one of their main characters turn into a plant or a stellar object or any such thing? If we take the analogy at face value, doesn’t it show that type checking is manifestly unnecessary if your code is being written by humans…?)
Furthermore I don’t get how type checking would help monkeys write code any better. They would just have less code compile (and the same is true of adding a spelling and grammar checker to their Shakespeare plays)