It's a good lesson, but it also goes against the grain of how humans operate. A humane computer system will tolerate ambiguity and imprecision better than any m

It's a good lesson, but it also goes against the grain of how humans operate. A humane computer system will tolerate ambiguity and imprecision better than any modern day programming environment currently does. The trick is giving the human an environment to explore and learn, which can evolve into one that is robust and precise. The act of creation is a back-and-forth, but we are using tools whose roots lie in a model where if you literally sit down and type out the solution into a terminal, that is the idealized model of creation. Imagine a way to create models that is context sensitive to the capabilities and knowledge of the user, both in general and specifically in light of the problem being modelled. Modern day programming is one-size-fits all and forces you to overspecify too many details correctly before you get a working program. (some languages and paradigms more than others)