[chrisseaton]

These graphs are how the compiler I work on represents your programs while it's compiling them!

[throwaway17_17]

This is essentially the point I made in a comment above, these representations are valid considerations for a programmer to weigh when selecting abstractions and constructs to implement some functionality. But it seems like very few people agree.