This sounds a lot like lazy evaluation. And the cohesion/coupling graphics look a lot like a category diagram. Haskell is a language that is lazily evaluated an

This sounds a lot like lazy evaluation. And the cohesion/coupling graphics look a lot like a category diagram. Haskell is a language that is lazily evaluated and is one of the reasons why programs written in it compose so well. The benefit of it is that you don't have to write all of this extra code. An interesting way to think about it.