This sort of processing should not accurately describe the code. In order to do its job it should throw away tons of information—obliterating the difference between a for and a while loop, ignoring how most variables are handled, and at the highest level (both of description and of proficiency) just labeling the sieve of Erastosthenes as “a program that finds primes.”
Maybe it would be most human-friendly to imagine looking at code and “just knowing” what it does, the same way we “just know” that a splotch of color is a ball and how the ball is moving.
This sort of processing should not accurately describe the code. In order to do its job it should throw away tons of information—obliterating the difference between a for and a while loop, ignoring how most variables are handled, and at the highest level (both of description and of proficiency) just labeling the sieve of Erastosthenes as “a program that finds primes.”
Maybe it would be most human-friendly to imagine looking at code and “just knowing” what it does, the same way we “just know” that a splotch of color is a ball and how the ball is moving.